Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Bisimulation and language equivalence
Logic for concurrency and synchronisation
On sufficient conditions for unsatisfiability of random formulas
Journal of the ACM (JACM)
Composing schema mappings: second-order dependencies to the rescue
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Composing schema mappings: Second-order dependencies to the rescue
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
On the expressive power of monadic least fixed point logic
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Generalising automaticity to modal properties of finite structures
Theoretical Computer Science
On the Descriptive Complexity of Linear Algebra
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
The Relational Polynomial-Time Hierarchy and Second-Order Logic
Semantics in Data and Knowledge Bases
Affine systems of equations and counting infinitary logic
Theoretical Computer Science
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
SOF: a semantic restriction over second-order logic and its polynomial-time hierarchy
Conceptual Modelling and Its Theoretical Foundations
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
The language of plain SO-tgds: Composition, inversion and structural properties
Journal of Computer and System Sciences
Data exchange beyond complete data
Journal of the ACM (JACM)
| Hi-index | 0.00 |