Fixpoint logic, games, and relations of consequence

M.W. Gazda

    Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

    223 Downloads (Pure)
    Originele taal-2Engels
    KwalificatieDoctor 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 toekenning15 mrt 2016
    Plaats van publicatieEindhoven
    Uitgever
    Gedrukte ISBN's978-94-028-0041-8
    StatusGepubliceerd - 15 mrt 2016

    Bibliografische nota

    Proefschrift

    Citeer dit