Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/191575
-
Titel: 
Game Models of Producer-Consumer Interactions and Substructural Sequent Systems
-
Zitat: 
Fermüller, C., Freiman, R., & Lang, T. A. (2023, September 27). Game Models of Producer-Consumer Interactions and Substructural Sequent Systems [Conference Presentation]. Mosaic Workshop 2023, Wien, Austria.
-
Publikationstyp: 
Vortrag - Konferenz Präsentation
de
Sprache: 
Englisch
-
Autor_innen: 
Fermüller, Christian 
Freiman, Robert 
Lang, Timo Achim 
-
Organisations­einheit: 
E192-05 - Forschungsbereich Theory and Logic 
E104-02 - Forschungsbereich Computational Logic 
-
Datum (veröffentlicht): 
27-Sep-2023
-
Veranstaltungs­name: 
Mosaic Workshop 2023 
en
Veranstaltungs­zeitraum: 
26-Sep-2023 - 29-Sep-2023
-
Veranstaltungs­ort: 
Wien, Österreich
-
Keywords: 
proof theory; game models; sequent systems
en
Projekttitel: 
Von semantischen Spielen zu Kalkülen – und retour: P 32684-N (FWF - Österr. Wissenschaftsfonds) 
-
Link (extern): 
https://sites.google.com/view/mosaic2023/program/schedule
-
Forschungs­schwerpunkte: 
Computer Science Foundations: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Presentation

Zur Langanzeige

Seiten Aufrufe

107
aufgerufen am 11.01.2024

Google ScholarTM

Check