Tree automata help one to solve equational formulae in AC-theories

DOI10.1006/JSCO.1994.1049MaRDI QIDQ1892141zbMATH OpenOpenAlexFDO

Authors D. Lugiez, J. L. Moysset

Publication date 8 June 1995

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/3c07a6f8260adfc0956af6042321e4aac84e92c0

zbMATH Keywords

tree automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 512857
• Combining Equational Tree Automata over AC and ACI Theories
• scientific article; zbMATH DE number 176149
• Tree Automata for Non-linear Arithmetic
• scientific article; zbMATH DE number 1346499

Cited in

(12)

• ELAN from a rewriting logic point of view
• Multitree automata that count
• Automata-driven automated induction
• Specification and proof in membership equational logic
• Alternating two-way AC-tree automata
• Combining Equational Tree Automata over AC and ACI Theories
• Tree Automata for Non-linear Arithmetic
• scientific article; zbMATH DE number 512857 (Why is no real title available?)
• scientific article; zbMATH DE number 2043529 (Why is no real title available?)
• scientific article; zbMATH DE number 2090068 (Why is no real title available?)
• Equation solving in conditional AC-theories
• XML schema, tree logic and sheaves automata

This page was built for publication: Tree automata help one to solve equational formulae in AC-theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892141)