Real-Time Logics: Complexity and Expressiveness

• 1 May 1993
• journal article
• Published by Elsevier in Information and Computation
• Vol. 104  (1) , 35-77
• https://doi.org/10.1006/inco.1993.1025

Abstract

Keywords

• TEMPORAL LOGICS
• THEORY
• REAL TIME
• FUNCTION
• FORMALISMS
• DECIDED
• COMPLEXITY