The complexity of query reliability
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fixed-point query languages for linear constraint databases
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logics with counting and local properties
ACM Transactions on Computational Logic (TOCL)
Relational queries over interpreted structures
Journal of the ACM (JACM)
Logics capturing local properties
ACM Transactions on Computational Logic (TOCL)
Logics with aggregate operators
Journal of the ACM (JACM)
On the power of walking for querying tree-structured data
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Towards Regular Languages over Infinite Alphabets
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Descriptive Complexity Theory for Constraint Databases
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Logics Capturing Local Properties
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Theoretical Computer Science - Database theory
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Definable relations and first-order query languages over strings
Journal of the ACM (JACM)
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
Locally consistent transformations and query answering in data exchange
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing queries with higher-order logics
Theoretical Computer Science - Logic, language, information and computation
Expressive power and abstraction in Essence
Constraints
The Computational Complexity of Quantified Reciprocals
Logic, Language, and Computation
Declarative programming of search problems with built-in arithmetic
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Tree-width in Algebraic Complexity
Fundamenta Informaticae - Bridging Logic and Computer Science: to Johann A. Makowsky for his 60th birthday
PBINT, a logic for modelling search problems involving arithmetic
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Query-preserving watermarking of relational databases and Xml documents
ACM Transactions on Database Systems (TODS)
A customised ASM thesis for database transformations
Acta Cybernetica
Partial Updates in Complex-Value Databases
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
Yuri, logic, and computer science
Fields of logic and computation
Fields of logic and computation
A proof system with bounded non-determinism in database transformations
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
From a zoo to a zoology: descriptive complexity for graph polynomials
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Synchronous parallel database transformations
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Hi-index | 0.00 |