Personensuche
X
?
Proceedings of the 1989 ACM SIGMOD international conference on Management of data ,
10
Efficient evaluation of right-, left-, and multi-linear rul..:
, In:
?
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems ,
11
Safety of datalog queries over infinitedatabases:
, In:
?
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems ,
13
Inference of monotonicity constraints in datalog programs:
, In:
?
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems ,
14
Proof-tree transformation theorems and their applications:
, In:
?
Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems ,
15