Fixpoint logic, games, and relations of consequence

M.W. Gazda

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

382 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Groote, Jan Friso, Promotor van de Pol, Jaco, Promotor Willemse, Tim A.C., Co-Promotor
Datum van toekenning	15 mrt. 2016
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	978-94-028-0041-8
Status	Gepubliceerd - 15 mrt. 2016

Proefschrift

Toegang tot 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",

}