Publication:2767094

zbMath0983.68175MaRDI QIDQ2767094

Michaël Rusinowitch, Paliath Narendran

Publication date: 28 April 2002

zbMATH Keywords

first-order theory; tree automata; recursive path ordering; ordered rewriting; ground reducibility

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

03B25: Decidability of theories and sets of sentences

68Q42: Grammars and rewriting systems

Related Items

Theories of orders on the set of words