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
| Dokumententyp: | Konferenzbeitrag (Paper) |
|---|---|
| Fakultät: | Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) |
| Themengebiete: | 100 Philosophie und Psychologie > 100 Philosophie |
| ISSN: | 0302-9743 |
| Ort: | Cham |
| Sprache: | Englisch |
| Dokumenten ID: | 109996 |
| Datum der Veröffentlichung auf Open Access LMU: | 22. Mrz. 2024, 07:27 |
| Letzte Änderungen: | 22. Mrz. 2024, 07:27 |
- Dokument bearbeiten
