Vol-3457⫷ Vol-3458 ⫸Vol-3459
urn:nbn:de:0074-3458-0


Vol-3458/paper2⫷Vol-3458/paper3⫸Vol-3458/paper4
Bernard BoigelotPascal FontaineBaptiste Vergain

Decidability of difference logics with unary predicates