Logo Logo
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:53:00 2024 CET erstellt.