Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Buchbeitrag
Anzahl der Publikationen: 1

Buchbeitrag

Gratzl, Norbert (2013): Sequent Calculi for Multi-modal Logic with Interaction. In: Grossi, Davide; Roy, Olivier und Huang, Huaxin (Hrsg.): Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Bd. 8196. Berlin, Heidelberg: Springer Berlin Heidelberg. S. 124-134

Diese Liste wurde am Sat Dec 21 18:26:24 2024 CET erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz