Extending Proof Tree Preserving Interpolation to Sequences and Trees (Work In Progress) Jochen Hoenicke Albert-Ludwigs-Universit¨at Freiburg - Proof test - Document - PDFSEARCH.IO

First Page	Meta Content
	Extending Proof Tree Preserving Interpolation to Sequences and Trees (Work In Progress) Jochen Hoenicke Albert-Ludwigs-Universit¨at Freiburg Add to Reading List Document Date: 2015-11-28 09:08:22 Open Document File Size: 198,81 KB Share Result on Facebook

Extending Proof Tree Preserving Interpolation to Sequences and Trees (Work In Progress) Jochen Hoenicke Albert-Ludwigs-Universit¨at Freiburg Add to Reading List