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 München [München]

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 <>
Submitted on : Thursday, April 15, 2021 - 6:35:34 PM
Last modification on : Saturday, May 1, 2021 - 3:39:43 AM

Alternating two-way AC-tree automata

Links full text

Identifiers

Collections

Citation

Export

Metrics

16

Contact Legal Notice Personal Data

Alternating two-way AC-tree automata

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

16

Contact Legal Notice Personal Data