Guarded fixed point logics and the monadic theory of countable trees

Grädel, Erich

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

In: Theoretical computer science
Band: 288
Heft: 1
Seite(n)/Artikel-Nr.: 129-152

Identifikationsnummern