[Back]


Contributions to Proceedings:

L. Kovacs, A. Voronkov:
"First-Order Interpolation and Interpolating Proof Systems";
in: "LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning", EasyChair EPiC Series in Computing, Volume 46, 2017, 49 - 64.


Created from the Publication Database of the Vienna University of Technology.