scientific article; zbMATH DE number 1300970

zbMATH Open0925.03172MaRDI QIDQ4246728FDOQ4246728

Miki Hermann

Publication date: 29 July 1999

Title of this publication is not available (Why is that?)

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
• Primitive recursion in the abstract

Mathematics Subject Classification ID

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

Cited In (4)

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

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)