The decidability of guarded fixed point logic

Amsterdam / University Press (1999) [Contribution to a book]

JFAK : Essays dedicated to Johan van Benthem on the Occasion of his 50. Birthday / Gebrandy, J. [u.a.] Hrsg

Authors

Selected Authors

Grädel, Erich

Identifier

  • REPORT NUMBER: RWTH-CONV-097281