On the sequential nature of unification
Journal of Logic Programming
Relational queries computable in polynomial time
Information and Control
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Logic programming and parallel complexity
Foundations of deductive databases and logic programming
Decidable optimization problems for database logic programs
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Efficient parallel algorithms can be made robust
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
ACM SIGACT News
Polymorphic unification and ML typing
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The two facets of object-oriented data models
Data Engineering
Efficient parallel algorithms on restartable fail-stop processors
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
A simple proof of a theorem of Statman
Theoretical Computer Science
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
Functional database query languages as typed lambda calculi of fixed order (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Parallel algorithms with processor failures and delays
Journal of Algorithms
OODB indexing by class-division
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Indexing for data models with constraints and classes
Journal of Computer and System Sciences
Relational expressive power of constraint query languages
Journal of the ACM (JACM)
Object identity as a query language primitive
Journal of the ACM (JACM)
A data structure for arc insertion and regular path finding
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Introduction to constraint databases
Introduction to constraint databases
Fault-Tolerant Parallel Computation
Fault-Tolerant Parallel Computation
Constraint Databases
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
Controlling memory access concurrency in efficient fault-tolerant parallel algorithms
Nordic Journal of Computing
Constraint Programming and Database Query Languages
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations
CONCUR '94 Proceedings of the Concurrency Theory
On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
| Hi-index | 0.00 |