Title of article :
Alternating two-way AC-tree automata
Author/Authors :
Kumar Neeraj Verma، نويسنده , , Jean Goubault-Larrecq، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
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
Journal title :
Information and Computation
