Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata

From MaRDI portal
Publication:3644751

DOI10.1007/978-3-642-04027-6_18zbMath1257.03063OpenAlexW2143407798MaRDI QIDQ3644751

Filip Murlak, Jacques Duparc, Alessandro Facchini

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04027-6_18






Cites Work




This page was built for publication: Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata