Lucia Landi

dblp:284/6540 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
1since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 since 2021
YearPublicationVenuePosition
2023 Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi
Ann. Pure Appl. Log.4
2020 Model Completeness and Π2-rules: The Case of Contact Algebras
Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi
AiML3