Pages that link to "Item:Q1854330"

The following pages link to Expressive completeness of duration calculus. (Q1854330):

Displaying 5 items.

• Algebraic neighbourhood logic (Q929966) (← links)
• Bounded variability of metric temporal logic (Q2408743) (← links)
• A duration calculus with neighborhood modalities (Q2901191) (← links)
• A first order logic for specification of timed algorithms: Basic properties and a decidable class (Q5957904) (← links)
• Unary and two-variable interval logics (Q6601763) (← links)