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
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-097281