Lattices of Intermediate Theories via Ruitenburg's Theorem

Gianluca Grilletti, Davide Emilio Quadrellaro

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på värdpublikationLANGUAGE, LOGIC, AND COMPUTATION
RedaktörerAybüke Özgün, Yulia Zinova
Antal sidor26
Volym13206
UtgivningsortCham
FörlagSpringer International Publishing AG
Utgivningsdatum2022
Sidor297-322
ISBN (tryckt)978-3-030-98478-6
ISBN (elektroniskt)978-3-030-98479-3
DOI
StatusPublicerad - 2022
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemang13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC) - Kobuleti, Georgien
Varaktighet: 16 sep. 201920 sep. 2019

Publikationsserier

NamnLecture Notes in Computer Science
FörlagSPRINGER INTERNATIONAL PUBLISHING AG
Volym13206
ISSN (tryckt)0302-9743

Vetenskapsgrenar

  • 111 Matematik

Citera det här