This page shows all presentations of this author published in EasyChair Smart Slide.
Induction with Generalization in Superposition Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov
Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire
Bernhard Gleiss, Laura Kovács and Jakob Rath
Loop Analysis by Quantification over Iterations
Simon Robillard, Bernhard Gleiss and Laura Kovács
First-Order Interpolation and Interpolating Proofs Systems
Laura Kovács and Andrei Voronkov
A FOOLish Encoding of the Next State Relations of Imperative Programs
Evgenii Kotelnikov, Laura Kovacs and Andrei Voronkov