Pages that link to "Item:Q1706170"

The following pages link to Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives (Q1706170):

Displaying 2 items.

• Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q821561) (← links)
• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)