| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Andrey Bovykin: Unprovability threshold for the planar graph minor theorem. Ann. Pure Appl. Logic 162(3): 175-181 (2010) |
| 2009 | ||
| 3 | | Andrey Bovykin: Exact unprovability results for compound well-quasi-ordered combinatorial classes. Ann. Pure Appl. Logic 157(2-3): 77-84 (2009) |
| 2008 | ||
| 2 | | Andrey Bovykin: Resplendent models and S11{\Sigma_1^1} -definability with an oracle. Arch. Math. Log. 47(6): 607-623 (2008) |
| 2006 | ||
| 1 | | Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006: 1319-1324 |
| 1 | Ian Horrocks | [1] |
| 2 | Duncan Hull | [1] |
| 3 | Ulrike Sattler | [1] |
| 4 | Robert Stevens (Robert D. Stevens) | [1] |
| 5 | Evgeny Zolin (Evgeni E. Zolin) | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page