C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Rigorous Correctness Proof for Pastry.
Noran Azmy
Stephan Merz
Christoph Weidenbach
Published in:
ABZ (2016)
Keyphrases
</>
provably correct
theorem prover
databases
expert systems
theorem proving
proof planning
genetic algorithm
search engine
linear logic
database
real time
data sets
social networks
data structure
video sequences