The following pages link to Simoni S. Shah (Q2851913):
Displayed 5 items.
- Deterministic Logics for UL (Q2851914) (← links)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- Around Dot Depth Two (Q3584902) (← links)
- Unambiguity in Timed Regular Languages: Automata and Logics (Q3588092) (← links)
- The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints (Q4649289) (← links)