Back and forth between guarded and modal logics

Grädel, Erich (Author); Hirsch, C. (Author); Otto, M. (Author)

New York, NY / ACM (2002) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

ACM transactions on computational logic
Band: 3
Ausgabe: 3
Seite(n): 418-463

Identifikationsnummern