Back and forth between guarded and modal logics
Grädel, Erich; Hirsch, C.; Otto, M.
Los Alamitos, Calif. [u.a.] : IEEE Computer Society (2000)
Contribution to a book, Contribution to a conference proceedings
In: 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 ...
Page(s)/Article-Nr.: 217-228
Institutions
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
- Department of Mathematics [110000]
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-200024