Login / Signup
Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets.
Vincenzo Manca
Antonino Salibra
Published in:
Theor. Comput. Sci. (1992)
Keyphrases
</>
topological spaces
relation algebra
theorem proving
horn clauses
real numbers
set theoretic
automated deduction
artificial intelligence
information systems
image sequences
multiscale
spatial reasoning