Pages that link to "Item:Q2852160"
From MaRDI portal
The following pages link to The properties of sets of temporal logic subformulas (Q2852160):
Displaying 4 items.
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring (Q914364) (← links)
- The derivations of temporal logic formulas (Q2852159) (← links)
- Weak completeness theorem for propositional linear time temporal logic (Q2852161) (← links)
- Substructure Temporal Logic (Q5271074) (← links)