Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Anzahl der Publikationen: 2

Zeitschriftenartikel

Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianlica; Latella, Diego und Massink, Mieke (2022): Geometric Model Checking of continous Space. In: Logical Methods in Computer Science, Bd. 18, Nr. 4

Bezhanishvili, Nick; Grilletti, Gianluca und Quadrellaro, Davide Emilio (2021): AN ALGEBRAIC APPROACH TO INQUISITIVE AND DNA-LOGICS. In: Review of Symbolic Logic, Bd. 15, Nr. 4: S. 950-990

Diese Liste wurde am Sat May 11 18:24:57 2024 CEST erstellt.