Back and forth between guarded and modal logics

Grädel, Erich; Hirsch, C.; Otto, M.

New York, NY : ACM (2002)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: ACM transactions on computational logic
Band: 3
Heft: 3
Seite(n)/Artikel-Nr.: 418-463