Zachary Evans

Publication Activity (10 Years)

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

Top Topics

Arithmetic Operations

Quantifier Free

Artificial Intelligence

Stochastic Dominance

Top Venues

Ann. Pure Appl. Log.

Publications

François Dorais, Zachary Evans, Marcia J. Groszek, Seth Harris, Theodore A. Slaman
Schmerl decompositions in first order arithmetic. Ann. Pure Appl. Log. 170 (12) (2019)