Equational Derivation vs. Computation.

W. G. Handley Stanley S. Wainer

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

real time
databases
website
bayesian networks
pairwise
special case
scheduling problem
management system
theorem proving
equational theories