2008 | ||
---|---|---|
2 | EE | 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 |
1 | Ian Horrocks | [1] |
2 | Duncan Hull | [1] |
3 | Ulrike Sattler | [1] |
4 | Robert Stevens (Robert D. Stevens) | [1] |
5 | Evgeny Zolin | [1] |