Proof Tree Preserving Tree Interpolation
Work
Year: 2016
Type: article
Source: Journal of Automated Reasoning
Authors Jürgen Christ, Jochen Hoenicke
Institution University of Freiburg
Cites: 31
Cited by: 13
Related to: 10
FWCI: 1.81
Citation percentile (by year/subfield): 83.14
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Grant ID SFB/TR14 AVACS