DMCA

Undecidability of interval temporal logics with the Overlap modality

Cached

Download Links

by Davide Bresolin , Dario Della Monica , Valentin Goranko , Angelo Montanari , Guido Sciavicco
Venue:In Proc. of 16th International Symposium on Temporal Representation and Reasoning (TIME), 88– 95. IEEE Computer Society Press, 2009. 2828 Della Monica D., Goranko V., Montanari A., Sciavicco G.: Crossing
Citations:8 - 7 self