François Dorais

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 2

Top Topics

Arithmetic Operations

Quantifier Free

Top Venues

Ann. Pure Appl. Log.

Publications

François Dorais, Dan Hathaway
Bounding 2d functions by products of 1d functions. Math. Log. Q. 68 (2) (2022)
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)