Many-sorted elementary equivalence.

Daniel Dzierzgowski

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

Keyphrases

school children
data sets
database
databases
information systems
image processing
case study
three dimensional
multiscale
information technology
multi class
equivalence relation
datalog programs
interactive dynamic influence diagrams