scientific article

From MaRDI portal

Revision as of 23:33, 29 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3976041

Jump to:navigation, search

zbMath0738.68052MaRDI QIDQ3976041

Emmanuel Kounalis

Publication date: 26 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finiteness finite models rewrite systems equations negation as failure learning from examples language representation pumping lemmas proof by induction context- sensitive languages compiling pattern matching ground normal forms

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (2)

Testing for the ground (co-)reducibility property in term-rewriting systems ⋮ Mechanizable inductive proofs for a class of ∀ ∃ formulas

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3976041&oldid=12016936"