Purity and Equational Compactness of Projection Algebras.

Mojgan Mahmoudi M. Mehdi Ebrahimi

Published in: Appl. Categorical Struct. (2001)

Keyphrases

theorem proving
projection method
artificial intelligence
theorem prover
database
databases
neural network
temporal reasoning
horn clauses
tomographic reconstruction
equational theories
relation algebra