Fermüller, Christian

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Fermüller, Christian
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  Logik

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ruiss Martin - 2022 - Game semantics - The full abstraction problem for PCF.pdf.jpgRuiss, Martin Game semantics - The full abstraction problem for PCFThesis Hochschulschrift 2022
2Kausl, Matthias A framework for Giles-style evaluation gamesThesis Hochschulschrift2013
3Seitz Georg - 2011 - Logics for coalitional games of imperfect information.pdf.jpgSeitz, Georg Logics for coalitional games of imperfect informationThesis Hochschulschrift 2011