EasyChair Smart SlideDocs/Log in
Author: Baptiste Vergain

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

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates

Bernard Boigelot, Pascal Fontaine and Baptiste Vergain

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair