Fixpoint logic, games, and relations of consequence

M.W. Gazda

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

178 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Groote, Jan Friso, Promotor
  • van de Pol, Jaco, Promotor
  • Willemse, Tim A.C., Copromotor
Award date15 Mar 2016
Place of PublicationEindhoven
Publisher
Print ISBNs978-94-028-0041-8
Publication statusPublished - 15 Mar 2016

Bibliographical note

Proefschrift

Cite this

Gazda, M. W. (2016). Fixpoint logic, games, and relations of consequence. Technische Universiteit Eindhoven.