The following pages link to (Q4411829):
Displaying 5 items.
- A note on a question of Peled and Wilke regarding stutter-invariant LTL (Q294841) (← links)
- On closure under stuttering (Q1423532) (← links)
- The stuttering principle revisited (Q2484066) (← links)
- Expressiveness for Highly Nested Expressions in Linear Temporal Logic (Q4304494) (← links)
- SOFSEM 2005: Theory and Practice of Computer Science (Q5711540) (← links)