Fixpoint logic, games, and relations of consequence

M.W. Gazda

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

388 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Groote, Jan Friso, Promotor van de Pol, Jaco, Promotor Willemse, Tim A.C., Copromotor
Award date	15 Mar 2016
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-94-028-0041-8
Publication status	Published - 15 Mar 2016

Proefschrift

Access to Document

@phdthesis{525440d3d1c5420aa79b8a7c4eb466d4,

title = "Fixpoint logic, games, and relations of consequence",

author = "M.W. Gazda",

note = "Proefschrift",

year = "2016",

month = mar,

day = "15",

language = "English",

isbn = "978-94-028-0041-8",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}