Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability

Angelo Montanari, Adriano Peron, Alberto Policriti. Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Logic Journal of the IGPL, 7(1):79-102, 1999. [doi]

Abstract

Abstract is missing.