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 Feb 1 22:27:18 2025 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