Matthew Konefal

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Relational Calculus

Constraint Query Languages

Monadic Second Order Logic

Aggregate Functions

Top Venues

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)