Nathan Grewal

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Computational Properties

Relational Algebra

Expressive Power

Formal Language

Top Venues

Proc. ACM Program. Lang.

Theory Comput. Syst.

Publications

Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea
A Closer Look at the Expressive Power of Logics Based on Word Equations. Theory Comput. Syst. 68 (3) (2024)
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
On the Expressive Power of String Constraints. Proc. ACM Program. Lang. 7 (POPL) (2023)
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
Formal Languages via Theories over Strings. CoRR (2022)