Kuznets, Roman. "Craig Interpolation via Hypersequents".
Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by Dieter Probst and Peter Schuster, Berlin, Boston: De Gruyter, 2016, pp. 193-214.
https://doi.org/10.1515/9781501502620-012
Kuznets, R. (2016). Craig Interpolation via Hypersequents. In D. Probst & P. Schuster (Ed.),
Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 193-214). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781501502620-012
Kuznets, R. 2016. Craig Interpolation via Hypersequents. In: Probst, D. and Schuster, P. ed.
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter, pp. 193-214.
https://doi.org/10.1515/9781501502620-012
Kuznets, Roman. "Craig Interpolation via Hypersequents" In
Concepts of Proof in Mathematics, Philosophy, and Computer Science edited by Dieter Probst and Peter Schuster, 193-214. Berlin, Boston: De Gruyter, 2016.
https://doi.org/10.1515/9781501502620-012
Kuznets R. Craig Interpolation via Hypersequents. In: Probst D, Schuster P (ed.)
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter; 2016. p.193-214.
https://doi.org/10.1515/9781501502620-012
Copied to clipboard