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

Boris A. Trakhtenbrot

Published in: Fundam. Informaticae (1997)

Keyphrases

formal proofs
power consumption
equational theories
theorem proving
neural network
machine learning
genetic algorithm
artificial intelligence
web services
network analysis
community detection
decision procedures