ML-1996-07: Angelo Montanari, Adriano Peron, Alberto Policriti Decidable Theories of $\omega$-Layered Metric Temporal Structures 1.Full Text, 2.Abstract. < Back
