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