Theories With the Existential Substructure Property.

Kenneth L. Manders

Published in: Math. Log. Q. (1980)

Keyphrases

design theory
information systems
query answering
real world
partial order