Two axiom systems for relation algebras.

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

management system
knowledge based systems
database
digital libraries
distributed systems
learning systems
real time
databases
artificial intelligence
search engine
information systems
mobile robot
building blocks
retrieval systems
modal logic