Pages that link to "Item:Q2373699"
From MaRDI portal
The following pages link to Alternating two-way AC-tree automata (Q2373699):
Displaying 12 items.
- Alternating tree automata (Q1077932) (← links)
- 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)
- Improved complement for two-way alternating automata (Q2675811) (← links)
- Tree Automata for Non-linear Arithmetic (Q3522025) (← links)
- A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata (Q3644793) (← links)
- (Q4447233) (← links)
- Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs. (Q4916223) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465883) (← links)
- Complement for two-way alternating automata (Q5915575) (← links)
- Complement for two-way alternating automata (Q5919102) (← links)