Skip to content

Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness.

Angelo Montanari, Pietro Sala

VenueA*LICS
Year2013
ProceedingsLICS

Browse the full LICS paper archive.