The decidability of guarded fixed point logic

Amsterdam / University Press (1999) [Buchbeitrag]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Grädel, Erich

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-097281