|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 2
2022
Grilletti, Gianluca und Quadrellaro, Davide Emilio
(2022):
Lattices of Intermediate Theories via Ruitenburg’s Theorem.
13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019.
In: Language, Logic, and Computation. 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers, Lecture Notes in Computer Science
Bd. 13206
Cham: Springer. S. 297-322
2021
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