EasyChair Smart SlideUser guide
Author: Bernard Boigelot

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 – 2026 EasyChair