Proof Tree Preserving Interpolation.

Jürgen Christ Jochen Hoenicke Alexander Nutz

Published in: CoRR (2017)

Keyphrases

tree structure
tree structures
hierarchical structure
theorem proving
theorem prover
case study
database systems
spanning tree
regression trees
interpolation method
linear interpolation
tree construction
image details
linear logic