Logics with counting and local properties
ACM Transactions on Computational Logic (TOCL)
Locality of order-invariant first-order formulas
ACM Transactions on Computational Logic (TOCL)
The functional guts of the Kleisli query system
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Counting and Locality over Finite Structures: A Survey
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
On the Power of Incremental Evaluation in SQL-Like Languages
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Logics Capturing Local Properties
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
An Existential Locality Theorem
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Kleisli, a functional query system
Journal of Functional Programming
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
| Hi-index | 0.00 |