Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Allen Gelder
Foundations of Aggregation in Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Satisfiability Tester for Non-Clausal Propositional Calculus
Related publications
On Modal Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Unification of Active Databases and Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Finite Satisfiability of Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deductive Databases and Knowledge Base Systems.
Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases
Journal of Computer and System Sciences
Computer Networks
Applied Mathematics
Communications
Computational Theory
Mathematics
Theoretical Computer Science
Uncertainty and Partial Non-Uniform Assumptions in Parametric Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logical Foundation for Deductive Object-Oriented Databases
A Materialized View for the Same Generation Query in Deductive Databases
Computer and Information Science
A Characterization of the Partial Stable Models for Disjunctive Deductive Databases
