Collaborated with:
D.Calvanese S.Ghilardi M.Montali A.Rivkin
Talks about:
superposit (1) complet (1) model (1) cover (1)
Person: Alessandro Gianola
DBLP: Gianola:Alessandro
Contributed to:
Wrote 1 papers:
- CADE-2019-CalvaneseGGMR
- Model Completeness, Covers and Superposition (DC, SG, AG, MM, AR), pp. 142–160.