DMCA

Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders

by Angelo Montanari , Ian Pratt-hartmann , Pietro Sala