[Back]


Talks and Poster Presentations (without Proceedings-Entry):

G. Reis:
"Cut-Introduction: GAPT System Demonstration";
Talk: 3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013), Nancy; 2013-09-16.


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