An Order Theory Resolution Calculus.

Peter Baumgartner

Published in: LPAR (1992)

Keyphrases

information systems
case study
real time
databases
image processing
theoretical framework
theoretical basis
formal theory