Zak P. Tonks

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Functional Programming

Constraint Query Languages

Quantifier Elimination

Presburger Arithmetic

Top Venues

Publications

James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
A Poly-algorithmic Approach to Quantifier Elimination. SYNASC (2023)
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
A Poly-algorithmic Approach to Quantifier Elimination. CoRR (2023)