Back and forth between guarded and modal logics

Los Alamitos, Calif. [u.a.] / IEEE Computer Society (2000) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings / 15th Annual IEEE Symposium on Logic in Computer Science : June 26 - 28, 2000, Santa Barbara, California / sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing ...
Seite(n): 217-228

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-200024