Author:Radu Iosif
Keyphrasesacceleration, alternating Turing machines^{2}, antichain-based tree automata language inclusion, bounded tree-width, complexity^{3}, counter automata, cyclic proofs, decidability, graph grammars, induction^{2}, inductive definitions, infinite descent, lists, magic wand, monadic second-order logic, reachability, separation logic^{3}. |