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]