Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Andrey Bovykin

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Bovykin10
- ask others
Andrey Bovykin: Unprovability threshold for the planar graph minor theorem. Ann. Pure Appl. Logic 162(3): 175-181 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Bovykin09
- ask others
Andrey Bovykin: Exact unprovability results for compound well-quasi-ordered combinatorial classes. Ann. Pure Appl. Logic 157(2-3): 77-84 (2009)
2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aml/Bovykin08
- ask others
Andrey Bovykin: Resplendent models and S₁¹{\Sigma_1^1} -definability with an oracle. Arch. Math. Log. 47(6): 607-623 (2008)
2006
[c1]
- view
  - electronic edition @ aaai.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aaai/HullZBHSS06
- ask others
Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006: 1319-1324