Record link: 
http://hdl.handle.net/20.500.12708/191575
-
Title: 
Game Models of Producer-Consumer Interactions and Substructural Sequent Systems
-
Citation: 
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.
-
Publication Type: 
Presentation - Conference Presentation
en
Language: 
English
-
Authors: 
Fermüller, Christian 
Freiman, Robert 
Lang, Timo Achim 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
E104-02 - Forschungsbereich Computational Logic 
-
Date (published): 
27-Sep-2023
-
Event name: 
Mosaic Workshop 2023 
en
Event date: 
26-Sep-2023 - 29-Sep-2023
-
Event place: 
Wien, Austria
-
Keywords: 
proof theory; game models; sequent systems
en
Project title: 
Von semantischen Spielen zu Kalkülen – und retour: P 32684-N (FWF - Österr. Wissenschaftsfonds) 
-
Link (external): 
https://sites.google.com/view/mosaic2023/program/schedule
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Presentation

Show full item record

Page view(s)

7
checked on Jan 11, 2024

Google ScholarTM

Check