Pages that link to "Item:Q2373699"
From MaRDI portal
The following pages link to Alternating two-way AC-tree automata (Q2373699):
Displaying 5 items.
- Multitree automata that count (Q1770418) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- Tree Automata for Non-linear Arithmetic (Q3522025) (← links)
- Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs. (Q4916223) (← links)
