A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets.

Hartmut Ehrig Jacques Loeckx Bernd Mahr

Published in: Bull. EATCS (1986)

Keyphrases

topological spaces
theorem prover
theorem proving
real numbers
interval algebra
relation algebra
information retrieval
artificial intelligence
search engine
data structure
natural language
first order logic
temporal reasoning
spatial reasoning
automated deduction
boolean algebra