Kevin Kappelmann

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 11

Top Topics

Query Rewriting

Functional Programming

Presburger Arithmetic

Rewriting Rules

Top Venues

Arch. Formal Proofs

Proc. VLDB Endow.

Publications