S. Vickers
发表
S. Vickers,
1989
.
Y. Venema,
S. Vickers,
J. Vosmaer,
2012
.
S. Vickers,
1997
.
S. Vickers,
2022,
2206.01113.
S. Vickers,
B. Fauser,
2014,
1411.2457.
S. Vickers,
M. Maietti,
2012
.
S. Vickers,
2011
.
S. Vickers,
2009
.
S. Vickers,
2009
.
Steven J. Vickers,
Samson Abramsky,
S. Abramsky,
1993,
Mathematical Structures in Computer Science.
Steven J. Vickers,
Yde Venema,
Jacob Vosmaer,
2012,
Mathematical Structures in Computer Science.
Steven J. Vickers,
Erik Palmgren,
S. Vickers,
2007,
Ann. Pure Appl. Log..
Steven J. Vickers,
S. Vickers,
1999,
Mathematical Structures in Computer Science.
Steven J. Vickers,
S. Vickers,
1993,
Theory and Formal Methods.
Steven J. Vickers,
S. Vickers,
1994,
Theory and Formal Methods.
Steven Vickers,
S. Vickers,
1992
.
Steven Vickers,
S. Vickers,
2005
.
Steven J. Vickers,
Francesco Ciraulo,
S. Vickers,
2016,
Ann. Pure Appl. Log..
Steven J. Vickers,
Pedro Resende,
S. Vickers,
2003,
Theor. Comput. Sci..
S. Vickers,
2017
.
Steven J. Vickers,
S. Vickers,
1987,
MFPS.
Samson Abramsky,
Steven Vickers,
S. Abramsky,
1993
.
Steven Vickers,
S. Vickers,
1997,
Mathematical Proceedings of the Cambridge Philosophical Society.
S. Vickers,
S. Hazratpour,
2018,
1808.08291.
S. Vickers,
B. Fauser,
Guillaume Raynaud,
2012,
QPL.
Steven J. Vickers,
S. Vickers,
2014,
J. Appl. Log..
Bas Spitters,
Steven J. Vickers,
Sander Wolters,
2013,
QPL.
S. Vickers,
2008,
Math. Log. Q..