On the expressive power of datalog: tools and a case study
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inadequacy of computable loop invariants
ACM Transactions on Computational Logic (TOCL)
Abstract State Machines and Pure Mathematics
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
Model Generation for Horn Logic with Stratified Negation
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
One Useful Logic That Defines Its Own Truth
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Existential fixed-point logic, universal quantifiers, and topoi
Fields of logic and computation
Generalized property directed reachability
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Datalog: a perspective and the potential
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
| Hi-index | 0.00 |