Combinatorial games in database theory
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A study of homogeneity in relational databases
Annals of Mathematics and Artificial Intelligence
On Lk(Q) Types and Boundedness of IFP(Q) on Finite Structures
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Reflective Relational Machines Working on Homogeneous Databases
FoIKS '00 Proceedings of the First 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
Partial Fixed-Point Logic on Infinite Structures
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL 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
SIGACT news complexity theory column 49
ACM SIGACT News
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases
First-Order Types and Redundant Relations in Relational Databases
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
The expressive power of two-variable least fixed-point logics
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
SOF: a semantic restriction over second-order logic and its polynomial-time hierarchy
Conceptual Modelling and Its Theoretical Foundations
Hi-index | 0.00 |