Proof Pearl: Magic Wand as Frame.

Qinxiang Cao Shengyi Wang Aquinas Hobor Andrew W. Appel

Published in: CoRR (2019)

Keyphrases

real time
video frames
theorem prover
information retrieval
case study
index structure
belief revision
theorem proving
image frames
linear logic
similarity measure
artificial neural networks
evolutionary algorithm
causal models