Anzahl der Publikationen: 2
Zeitschriftenartikel
Konferenzbeitrag
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
Diese Liste wurde am
Sat Dec 21 22:41:55 2024 CET
erstellt.