Proving Entailment Between Conceptual State Specifications.

Eugene W. Stark

Published in: Theor. Comput. Sci. (1988)

Keyphrases

database systems
databases
state space
social networks
metadata
question answering
conceptual model
finite state machines