Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality.

Elisabeth Henkel Jochen Hoenicke Tanja Schindler

Published in: SMT (2021)

Keyphrases

computational model
theoretical framework
tree structure
theorem prover
binary tree
horn formulas
linear logic
proof theory