Semantics for S4.2.

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

Keyphrases

formal semantics
logic programming
multiscale
decision making
case study
database
real time
databases
decision trees
relational databases
conceptual model
transformation rules