Open AccessLinear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
Author(s) -
Jacques Duparc,
Alessandro Facchini,
Filip Murlak
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - decidability , computer science , automaton , hierarchy , tree automaton , tree (set theory) , theoretical computer science , programming language , mathematics , combinatorics , economics , market economy