scientific article; zbMATH DE number 1324446

zbMath0925.03071MaRDI QIDQ4255518

Gernot Salzer

Publication date: 16 August 1999

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items

The first order theory of primal grammars is decidable, Tree tuple languages from the logic programming point of view, Unification of infinite sets of terms schematized by primal grammars, Simplified handling of iterated term schemata, On the non-termination of MDG-based abstract state enumeration, On unification of terms with integer exponents, Perfect Discrimination Graphs: Indexing Terms with Integer Exponents, Primal grammars and unification modulo a binary clause, A complete superposition calculus for primal grammars