2009
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-03092-5_5
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/isbn/978-3-642-03091-8
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/urn/urn:nbn:ch:serval-BIB_EEF86EFB69D97
info:eu-repo/semantics/openAccess , Copying allowed only for non-profit organizations , https://serval.unil.ch/disclaimer
J. Duparc et al., « A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata », Serveur académique Lausannois, ID : 10.1007/978-3-642-03092-5_5
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal μ-calculus extended with backwards modalities. In this paper, we present a very simple proof by way of Wadge games of the strictness of the hierarchy of Motowski indices of two-way alternating automata over trees.