PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM)
Querying spatial databases via topological invariants
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A study of homogeneity in relational databases
Annals of Mathematics and Artificial Intelligence
Relational Databases and Homogeneity in Logics with Counting
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Inflationary Fixed Points in Modal Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Large finite structures with few Lk-types
Information and Computation - Special issue: LICS'97
On the expressive power of variable-confined logics
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Inflationary fixed points in modal logic
ACM Transactions on Computational Logic (TOCL)
On the computation of approximations of database queries
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Relational databases and homogeneity in logics with counting
Acta Cybernetica
Computability by Sequences of Queries
Fundamenta Informaticae
The first order definability of graphs: upper bounds for quantifier depth
Discrete Applied Mathematics
On Complexity of Ehrenfeucht-Fraïssé Games
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases
The finite model theory toolbox of a database theoretician
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The expressive power of two-variable least fixed-point logics
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Computability by Sequences of Queries
Fundamenta Informaticae
Hi-index | 0.00 |