scientific article

zbMath0491.03015MaRDI QIDQ3952088

Jean Claude Raoult

Publication date: 1981

Full work available at URL: https://eudml.org/doc/92149

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

equivalence classesconfluenceterm rewriting systemsrational tree languagesfinite tree-automatonsyntactic congruences in algebras of trees

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Thue and Post systems, etc. (03D03)

Cites Work

• Unnamed Item
• Unnamed Item
• Operational and semantic equivalence between recursive programs.
• Generalized finite automata theory with an application to a decision problem of second-order logic

This page was built for publication: