S. Vorobyov
发表
Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov,
2003,
STACS.
Henrik Björklund,
S. Sandberg,
S. Vorobyov,
2003
.
Sergei G. Vorobyov,
S. Vorobyov,
1998,
MFCS.
Henrik Björklund,
Sergei G. Vorobyov,
Henrik Björklund,
2007,
Discrete Applied Mathematics.
Henrik Björklund,
S. Sandberg,
S. Vorobyov,
2004
.
O. Svensson,
Henrik Björklund,
S. Vorobyov,
2004
.
O. Svensson,
Henrik Björklund,
S. Vorobyov,
2005
.
O. Svensson,
S. Vorobyov,
2005
.
S. Vorobyov,
Daniel Andersson,
2006
.
S. Vorobyov,
S Vorobyov,
Petersson,
2001
.
Im Stadtwald,
G. Gottlob,
A. Voronkov,
1997
.
S. Vorobyov,
1995
.
O. Svensson,
Henrik Björklund,
S. Vorobyov,
2005
.
Henrik Björklund,
Sven Sandberg,
Sergei Vorobyov,
2003
.
S. Vorobyov,
E Beffara,
S Vorobyov,
2001
.
Sergei G. Vorobyov,
S. Vorobyov,
1997,
RTA.
Sergei G. Vorobyov,
S. Vorobyov,
1989,
RTA.
Sergei G. Vorobyov,
S. Vorobyov,
1988,
Conference on Computer Logic.
Sergei G. Vorobyov,
S. Vorobyov,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
P. D. Groote,
S. Vorobyov,
R. Amadio,
2006
.
Sergei G. Vorobyov,
S. Vorobyov,
1995,
POPL '95.
Sergei G. Vorobyov,
S. Vorobyov,
2008,
Discret. Appl. Math..
Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov,
2007,
Discret. Appl. Math..
Ola Svensson,
Sergei G. Vorobyov,
O. Svensson,
2006,
Ershov Memorial Conference.
Ola Svensson,
Sergei G. Vorobyov,
O. Svensson,
2006,
AAIM.
Henrik Björklund,
Sergei G. Vorobyov,
Henrik Björklund,
2005,
Theor. Comput. Sci..
Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov,
2003,
Ershov Memorial Conference.
Viktor Petersson,
Sergei G. Vorobyov,
S. Vorobyov,
2001,
Nord. J. Comput..
Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov,
2004,
Theor. Comput. Sci..
Henrik Björklund,
Ola Svensson,
Sergei Vorobyov,
2004
.
Henrik Björklund,
Ola Svensson,
Sergei Vorobyov,
2004
.
Henrik Björklund,
S. Sandberg,
S. Vorobyov,
2002
.
Sergei G. Vorobyov,
S. Vorobyov,
2002,
Inf. Comput..
Sergei G. Vorobyov,
S. Vorobyov,
1992,
CTRS.
Andrei Voronkov,
Sergei G. Vorobyov,
A. Voronkov,
1998,
PODS.