The following pages link to Vrunda Dave (Q2064526):
Displayed 9 items.
- Regular transducer expressions for regular transformations (Q2064527) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- A Logical Characterization for Dense-Time Visibly Pushdown Automata (Q2798712) (← links)
- A Perfect Class of Context-Sensitive Timed Languages (Q2817374) (← links)
- (Q4636559) (← links)
- (Q5089281) (← links)
- (Q5089310) (← links)
- (Q5094153) (← links)
- Optimal repair for omega-regular properties (Q6160923) (← links)