The following pages link to (Q4447233):
Displaying 6 items.
- Multitree automata that count (Q1770418) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Tree automata with equality constraints modulo equational theories (Q2426520) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case (Q3636822) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465883) (← links)