Equational Calculi for Many-Sorted Algebras with Empty Carrier Sets.

Vincenzo Manca Antonino Salibra

Published in: MFCS (1990)

Keyphrases

theorem proving
topological spaces
horn clauses
database
data sets
real world
information retrieval
information systems
data structure
first order logic
expressive power
spatial reasoning