Nathan Grewal

According to our database, Nathan Grewal authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Closer Look at the Expressive Power of Logics Based on Word Equations.

Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea

Theory Comput. Syst., June, 2024

2023

On the Expressive Power of String Constraints.

Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea

Proc. ACM Program. Lang., January, 2023

2022

Formal Languages via Theories over Strings.

Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea

CoRR, 2022