The decidability of guarded fixed point logic
Grädel, Erich
Amsterdam : University Press (1999)
Contribution to a book
In: JFAK : Essays dedicated to Johan van Benthem on the Occasion of his 50. Birthday / Gebrandy, J. [u.a.] Hrsg
Institutions
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
- Department of Mathematics [110000]
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-097281