Author:Radu Iosif
Keyphrasesacceleration, alternating Turing machines2, antichain-based tree automata language inclusion, complexity3, counter automata, cyclic proofs, decidability, induction2, inductive definitions, infinite descent, lists, magic wand, reachability, separation logic3. |