Theory-Specific Reasoning about Loops with Arrays using Vampire.

Yuting Chen Laura Kovács Simon Robillard

Published in: Vampire@IJCAR (2016)

Keyphrases

formal theory
real time
high level
high speed
domain specific
computational model
databases
search engine
computer vision
image processing
higher level
theoretical framework
formal model
conceptual framework
spatial reasoning
qualitative reasoning