Tree automata help one to solve equational formulae in AC-theories
From MaRDI portal
Publication:1892141
DOI10.1006/jsco.1994.1049zbMath0827.68041OpenAlexW2063655645MaRDI QIDQ1892141
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Alternating two-way AC-tree automata ⋮ XML schema, tree logic and sheaves automata ⋮ Specification and proof in membership equational logic ⋮ Multitree automata that count ⋮ Automata-driven automated induction ⋮ ELAN from a rewriting logic point of view
This page was built for publication: Tree automata help one to solve equational formulae in AC-theories