Eion Blanchard

Publication Activity (10 Years)

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

Top Topics

Quantifier Elimination

Decision Procedures

Presburger Arithmetic

Algebraic Structure

Top Venues

Proc. ACM Program. Lang.

Ann. Pure Appl. Log.

Publications

Eion Blanchard, Philipp Hieronymi
Decidability bounds for Presburger arithmetic extended by sine. Ann. Pure Appl. Log. 175 (10) (2024)
Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan
Model-guided synthesis of inductive lemmas for FOL with least fixpoints. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Eion Blanchard, Philipp Hieronymi
Decidability bounds for Presburger arithmetic extended by sine. CoRR (2022)