-
1
Inf-datalog, Modal Logic and Complexities
Veröffentlicht in RAIRO. Informatique théorique et applications
VolltextArtikel -
2
-
3
Datalog programs and their persistency numbers
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
4
-
5
-
6
-
7
Complexity of Monadic inf-datalog. Application to temporal logic
Veröffentlicht in arXiv.org
VolltextArtikel -
8
-
9