Alternating two-way AC-tree automata

Kumar Neeraj Verma; Jean Goubault-Larrecq

doi:10.1016/j.ic.2006.12.006

Journal articles

Alternating two-way AC-tree automata

Kumar Neeraj Verma ¹ Jean Goubault-Larrecq ²

1 TUM - Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne]

2 LSV - Laboratoire Spécification et Vérification

Document type :

Journal articles

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadata

https://hal.inria.fr/hal-03199662
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Thursday, April 15, 2021 - 6:35:34 PM
Last modification on : Thursday, January 6, 2022 - 11:38:05 AM

Alternating two-way AC-tree automata

Links full text

Identifiers

Collections

Citation

Export

Metrics

8

Contact Legal Notice Personal Data

Alternating two-way AC-tree automata

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

8

Contact Legal Notice Personal Data