Pages that link to "Item:Q1731517"

The following pages link to Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517):

Displayed 5 items.

• A separation theorem for discrete-time interval temporal logic (Q5074367) ‎ (← links)
• On a Temporal Logic of Prefixes and Infixes. (Q5089182) ‎ (← links)
• Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* (Q5158658) ‎ (← links)
• \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) ‎ (← links)
• (Q6191010) ‎ (← links)