Vrunda Dave

Identifiers

No identifiers captured yet.

Papers (2)

1. Regular Transducer Expressions for Regular Transformations cs.FL · 2018 · author #1
2. FO-definable transformations of infinite strings cs.FL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ashutosh Trivedi 1 shared papers
• Krishna Shankara Narayanan 1 shared papers
• Paul Gastin 1 shared papers
• Shankara Narayanan Krishna 1 shared papers