Guarded fixed point logics and the monadic theory of countable trees

Amsterdam [u.a.] / Elsevier (2002) [Fachzeitschriftenartikel]

Theoretical computer science
Band: 288
Ausgabe: 1
Seite(n): 129-152

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich

Identifikationsnummern