Michiel De Smet

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Algebraic Geometry

Implicit Polynomial

Phase Transition

Random Constraint Satisfaction Problems

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Publications

Andrey Bovykin, Michiel De Smet
A Glimpse at Polynomials with Quantifiers. FLAP 4 (10) (2017)
Michiel De Smet, Andreas Weiermann
Phase Transitions Related to the Pigeonhole Principle. CiE (2014)
Michiel De Smet, Andreas Weiermann
Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal. Ann. Pure Appl. Log. 163 (6) (2012)
Michiel De Smet, Andreas Weiermann
Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences. J. Log. Comput. 22 (2) (2012)
Michiel De Smet, Andreas Weiermann
A Miniaturisation of Ramsey's Theorem. CiE (2010)
Michiel De Smet, Andreas Weiermann
Phase Transitions for Weakly Increasing Sequences. CiE (2008)