Back and forth between guarded and modal logics

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

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern