Lattices of Intermediate Theories via Ruitenburg's Theorem

Gianluca Grilletti; Davide Emilio Quadrellaro

doi:10.1007/978-3-030-98479-3_15

Lattices of Intermediate Theories via Ruitenburg's Theorem

Gianluca Grilletti, Davide Emilio Quadrellaro

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Otsikko	LANGUAGE, LOGIC, AND COMPUTATION
Toimittajat	Aybüke Özgün, Yulia Zinova
Sivumäärä	26
Vuosikerta	13206
Julkaisupaikka	Cham
Kustantaja	Springer International Publishing AG
Julkaisupäivä	2022
Sivut	297-322
ISBN (painettu)	978-3-030-98478-6
ISBN (elektroninen)	978-3-030-98479-3
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-030-98479-3_15
Tila	Julkaistu - 2022
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC) - Kobuleti, Georgia Kesto: 16 syysk. 2019 → 20 syysk. 2019

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	SPRINGER INTERNATIONAL PUBLISHING AG
Vuosikerta	13206
ISSN (painettu)	0302-9743

Tieteenalat

111 Matematiikka

Pääsy asiakirjaan

10.1007/978-3-030-98479-3_15

tbillc19_proceedings_finaldraftHyväksytty kirjoittajan käsikirjoitus, 413 KBLisenssi: Määrittelemätön

Siteeraa tätä

@inproceedings{95a6c8f4e5bc473b94cb13f7a1584fa8,

title = "Lattices of Intermediate Theories via Ruitenburg's Theorem",

keywords = "111 Mathematics",

author = "Gianluca Grilletti and Quadrellaro, {Davide Emilio}",

year = "2022",

doi = "10.1007/978-3-030-98479-3_15",

language = "English",

isbn = "978-3-030-98478-6",

volume = "13206",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG",

pages = "297--322",

editor = "{\"O}zg{\"u}n, {Ayb{\"u}ke } and Yulia Zinova",

booktitle = "LANGUAGE, LOGIC, AND COMPUTATION",

address = "Switzerland",

note = "13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC) ; Conference date: 16-09-2019 Through 20-09-2019",

}

Grilletti, G & Quadrellaro, DE 2022, Lattices of Intermediate Theories via Ruitenburg's Theorem. julkaisussa A Özgün & Y Zinova (toim), LANGUAGE, LOGIC, AND COMPUTATION. Vuosikerta 13206, Lecture Notes in Computer Science, Vuosikerta 13206, Springer International Publishing AG, Cham, Sivut 297-322, 13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Kobuleti, Georgia, 16/09/2019. https://doi.org/10.1007/978-3-030-98479-3_15

Lattices of Intermediate Theories via Ruitenburg's Theorem. / Grilletti, Gianluca; Quadrellaro, Davide Emilio.

LANGUAGE, LOGIC, AND COMPUTATION. toim. / Aybüke Özgün; Yulia Zinova. Vuosikerta 13206 Cham : Springer International Publishing AG, 2022. s. 297-322 (Lecture Notes in Computer Science; Vuosikerta 13206).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Lattices of Intermediate Theories via Ruitenburg's Theorem

AU - Grilletti, Gianluca

AU - Quadrellaro, Davide Emilio

PY - 2022

Y1 - 2022

KW - 111 Mathematics

U2 - 10.1007/978-3-030-98479-3_15

DO - 10.1007/978-3-030-98479-3_15

M3 - Conference contribution

SN - 978-3-030-98478-6

VL - 13206

T3 - Lecture Notes in Computer Science

SP - 297

EP - 322

BT - LANGUAGE, LOGIC, AND COMPUTATION

A2 - Özgün, Aybüke

A2 - Zinova, Yulia

PB - Springer International Publishing AG

CY - Cham

T2 - 13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC)

Y2 - 16 September 2019 through 20 September 2019

ER -