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