EasyChair Smart SlideDocs/Log in
Author: Florian Frohn

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

Proving Non-Termination by Acceleration Driven Clause Learning

Proving Non-Termination by Acceleration Driven Clause Learning

Florian Frohn and Jürgen Giesl

Polynomial Loops: Beyond Termination

Polynomial Loops: Beyond Termination

Marcel Hark, Florian Frohn and Jürgen Giesl

Presentations in this collection: 2
Copyright © 2002 – 2025 EasyChair