Pages that link to "Item:Q1731517"
From MaRDI portal
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)