Helmut Lescow

Publication Activity (10 Years)

Years Active: 1993-2000
Publications (10 Years): 0

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Helmut Lescow, Jens Vöge
Minimal Separating Sets for Acceptance Conditions in Muller Automata. Theor. Comput. Sci. 231 (1) (2000)
Helmut Lescow, Jens Vöge
Minimal Separating Sets for Muller Automata. Workshop on Implementing Automata (1997)
Nils Buhrke, Helmut Lescow, Jens Vöge
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. TACAS (1996)
Helmut Lescow
On Polynomial-Size Programs Winning Finite-State Games. CAV (1995)
Wolfgang Thomas, Helmut Lescow
Logical Specifications of Infinite Computations. REX School/Symposium (1993)