[Back]


Talks and Poster Presentations (without Proceedings-Entry):

G. Reis:
"Checking Proof Transformations with ASP";
Talk: ICLP 2013, Istanbul; 2013-08-24 - 2013-08-29.


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