Name Card

Full name Familienname, Vorname
Freiman, Robert
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-10 of 10 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim Game Models of Producer-Consumer Interactions and Substructural Sequent SystemsPresentation Vortrag27-Sep-2023
2Freiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Qualitative Choice LogicInproceedings Konferenzbeitrag 24-Sep-2023
3Freiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Choice LogicsPresentation Vortrag14-Sep-2023
4Freiman, Robert ; Bernreiter, Michael Validity in Choice Logics - A Game-Theoretic InvestigationInproceedings Konferenzbeitrag Jul-2023
5Freiman, Robert From Semantic Games to Analytic CalculiPresentation Vortrag6-Feb-2023
6Freiman-2022-Truth and Preferences -- A Game Approach for Qualitative Choi...-am.pdf.jpgFreiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Qualitative Choice LogicsPresentation Vortrag 27-Sep-2022
7Bernreiter, Michael ; Freiman, Robert Truth and Preferences - A Game Approach for Qualitative Choice LogicPresentation Vortrag2022
8Pavlova, Alexandra ; Freiman, Robert ; Lang, Timo From Semantic Games to Provability: The Case of Gödel LogicArtikel Article 2021
9Freiman, Robert Games for Hybrid Logic : From Semantic Games to Analytic CalculiKonferenzbeitrag Inproceedings 2021
10Freiman Robert - 2020 - Comparison and analysis of constructive set theories.pdf.jpgFreiman, Robert Comparison and analysis of constructive set theoriesThesis Hochschulschrift 2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (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