Pages that link to "Item:Q1892141"
From MaRDI portal
The following pages link to Tree automata help one to solve equational formulae in AC-theories (Q1892141):
Displaying 9 items.
- AC complement problems: Satisfiability and negation elimination (Q677036) (← links)
- XML schema, tree logic and sheaves automata (Q862561) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Multitree automata that count (Q1770418) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- (Q4447233) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)