[Back]


Talks and Poster Presentations (without Proceedings-Entry):
B. Gleiss, L. Kovacs, J. Rath:
"Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire";
Talk: Vampire 2019 - The Sixth Vampire Workshop, Lisbon, Portugal; 2019-07-07.

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