Publication:2767094

From MaRDI portal
Revision as of 15:31, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0983.68175MaRDI QIDQ2767094

Paliath Narendran, Michaël Rusinowitch

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



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2767094&oldid=15645353"
Powered by MediaWiki