Wait-Free Linearization with an Assertional Proof.

Wim H. Hesselink

Published in: Distributed Comput. (1994)

Keyphrases

theorem proving
linear logic
artificial intelligence
theorem prover
data sets
computer vision
multiscale
probability distribution
logical rules
mathematical proofs
geometry theorem proving