Title of article
Alternating two-way AC-tree automata
Author/Authors
Kumar Neeraj Verma، نويسنده , , Jean Goubault-Larrecq، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
53
From page
817
To page
869
Keywords
Alternating tree automata , Branchingvector addition systems with states , resolution , Cryptographic protocols , Associative-commutative , Tree automata , Two-way tree automata
Journal title
Information and Computation
Serial Year
2007
Journal title
Information and Computation
Record number
262409
Link To Document