Using a Theorem Prover for Reasoning about Concurrent Algorithms.

Joakim von Wright Thomas Långbacka

Published in: CAV (1992)

Keyphrases

theorem prover
learning algorithm
theoretical analysis
first order logic
theorem proving
artificial intelligence
significant improvement
computational cost
term rewriting
data structure
computational complexity
expert systems
optimization problems
semi supervised learning
propositional logic