Pages that link to "Item:Q5177218"
From MaRDI portal
The following pages link to A topological characterization of weakness (Q5177218):
Displaying 7 items.
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- (Q3643731) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)