Errata: An extension algebra and the modal system T.

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

Keyphrases

data model
query language
relational algebra
databases
information retrieval
image processing
decision trees
three dimensional
object oriented
logic programs
modal logic
relation algebra