Proof Tree Preserving Interpolation.

Jürgen Christ Jochen Hoenicke Alexander Nutz

Published in: TACAS (2013)

Keyphrases

tree structure
real time
information systems
index structure
tree models
information retrieval
search engine
tree structures
complete axiomatization
edge directed
hierarchical tree
linear logic
image interpolation
spanning tree
hierarchical structure
color images
case study
image processing
neural network