Andrey Bovykin

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 2

Top Topics

Multiresolution

Probability Density Function

Theoretical Framework

Top Venues

Ann. Pure Appl. Log.

Publications

Andrey Bovykin, Andreas Weiermann
The strength of infinitary Ramseyan principles can be accessed by their densities. Ann. Pure Appl. Log. 168 (9) (2017)
Andrey Bovykin, Michiel De Smet
A Glimpse at Polynomials with Quantifiers. FLAP 4 (10) (2017)
Andrey Bovykin
Unprovability threshold for the planar graph minor theorem. Ann. Pure Appl. Log. 162 (3) (2010)
Andrey Bovykin
Exact unprovability results for compound well-quasi-ordered combinatorial classes. Ann. Pure Appl. Log. 157 (2-3) (2009)
Andrey Bovykin
{\Sigma_1^1} -definability with an oracle. Arch. Math. Log. 47 (6) (2008)
Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens
Deciding Semantic Matching of Stateless Services. AAAI (2006)