The monadic theory of tree-like structures

Berlin [u.a.] / Springer (2002) [Beitrag zu einem Tagungsband]

Automata, logics, and infinite games : a guide to current research / Erich Grädel; Wolfgang Thomas; Thomas Wilke (ed.)
Seite(n): 285-301

Autorinnen und Autoren

Autorinnen und Autoren

Berwanger, Dietmar
Blumensath, Achim

Identifikationsnummern