"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
On non-determinism in machines and languages
Annals of Mathematics and Artificial Intelligence
Declarative semantics for active rules
Theory and Practice of Logic Programming
Views and queries: determinacy and rewriting
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Views and queries: Determinacy and rewriting
ACM Transactions on Database Systems (TODS)
| Hi-index | 0.00 |