scientific article; zbMATH DE number 1300970

MaRDI QIDQ4246728zbMATH OpenFDO

Authors Miki Hermann

Publication date 29 July 1999

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Thue and Post systems, etc. (03D03)

Recommendations

• Unification of infinite sets of terms schematized by primal grammars
• Term rewriting theory for the primitive recursive functions
• Simplified handling of iterated term schemata
• scientific article; zbMATH DE number 4074464
• Primitive recursion in the abstract

Cited in

(5)

• Rudimentary relations and primitive recursion: A toolbox
• Primal grammars and unification modulo a binary clause
• On the non-termination of MDG-based abstract state enumeration
• Simplified handling of iterated term schemata
• Unification of infinite sets of terms schematized by primal grammars

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246728)