Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability
收藏官方服务:
资源简介:
Dottorato di Ricerca in Matematica ed Informatica, Ciclo XXV, a.a. 2011-2012
创建时间:
2017-11-21

Dottorato di Ricerca in Matematica ed Informatica, Ciclo XXV, a.a. 2011-2012