scientific article; zbMATH DE number 1241629

MaRDI QIDQ4225065zbMATH OpenFDO

Authors Ursula Martin Webb

Publication date 8 August 1999

zbMATH Keywords

orderings on data structures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Topics in termination
• The order types of termination orderings on monadic terms, strings and multisets
• scientific article; zbMATH DE number 3921960
• scientific article; zbMATH DE number 1761896
• Linear interpretations by counting patterns

Cited in

(4)

• Continuous or discontinuous constituents? A comparison between syntactic analyses for constituent order and their processing systems
• Relative undecidability in term rewriting. I: The termination hierarchy
• Relative undecidability in term rewriting. II: The confluence hierarchy
• Linear interpretations by counting patterns

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 Q4225065)