Andrey Bovykin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 S₁¹{\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

	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 S₁¹{\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

Coauthor Index

1	Ian Horrocks	[1]
2	Duncan Hull	[1]
3	Ulrike Sattler	[1]
4	Robert Stevens (Robert D. Stevens)	[1]
5	Evgeny Zolin	[1]