Douadi Mihoubi. Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata. In Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe, editors, Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers. Volume 5489 of Lecture Notes in Computer Science, pages 97-108, Springer, 2007. [doi]
Abstract is missing.