Towards a Thread-Local Proof Technique for Starvation Freedom.

Gerhard Schellhorn Oleg Travkin Heike Wehrheim

Published in: IFM (2016)

Keyphrases

theorem prover
linear logic
image processing
theorem proving
proof planning
real time
data sets
data mining
case study
high level
database systems
artificial neural networks
geometry theorem proving