Login / Signup
A Constructive Proof On the Compositionality of Linearizability.
Haoxiang Lin
Published in:
CoRR (2014)
Keyphrases
</>
theorem proving
neural network
proof planning
machine learning
natural deduction
database
computer vision
multi agent systems
artificial neural networks
theorem prover
linear logic
automated theorem proving
proof search