EasyChair Smart SlideHelp/Log in
Author: Laura Kovács

This page shows all presentations of this author published in EasyChair Smart Slide.

Induction with Generalization in Superposition Reasoning

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

Forward Subsumption Demodulation - Fast Conditional Rewriting in Vampire

Bernhard Gleiss, Laura Kovács and Jakob Rath

Loop Analysis by Quantification over Iterations

Loop Analysis by Quantification over Iterations

Simon Robillard, Bernhard Gleiss and Laura Kovács

First-Order Interpolation and Interpolating Proofs Systems

First-Order Interpolation and Interpolating Proofs Systems

Laura Kovács and Andrei Voronkov

A FOOLish Encoding of the Next State Relations of Imperative Programs

A FOOLish Encoding of the Next State Relations of Imperative Programs

Evgenii Kotelnikov, Laura Kovacs and Andrei Voronkov

Presentations in this collection: 5
Copyright © 2002 – 2022 EasyChair