ACM SIGACT News
New techniques for studying set languages, bag languages and aggregate functions
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finitely representable databases (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Combinatorial games in database theory
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Perspectives on database theory
ACM SIGACT News
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Uniform quantifier elimination and constraint query processing
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
On the containment and equivalence of database queries with linear constraints (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of the ACM (JACM)
Existential second-order logic over strings
Journal of the ACM (JACM)
On non-determinism in machines and languages
Annals of Mathematics and Artificial Intelligence
A Logical Framework for Integrating Inconsistent Information in Multiple Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
More about recursive structures: descriptive complexity and zero-one laws
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Combining probabilities, failures and safety in robot control
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Other complexity classes and measures
Algorithms and theory of computation handbook
Decidability and undecidability results for propositional schemata
Journal of Artificial Intelligence Research
A decidable class of nested iterated schemata
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Hierarchies in Dependence Logic
ACM Transactions on Computational Logic (TOCL)
Plural quantifications and generalized quantifiers
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |