On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity.

Boris A. Trakhtenbrot

Published in: Fundam. Informaticae (1996)

Keyphrases

formal proofs
equational theories
power consumption
theorem proving
real time
databases
neural network
information systems
power distribution
website
bayesian networks
multi agent
digital libraries
causal relationships