Steven J. Vickers
发表
Steven J. Vickers,
S. Vickers,
2014,
J. Appl. Log..
Steven J. Vickers,
1994,
Theory and Formal Methods.
Steven J. Vickers,
Gillian Hill,
2001,
Formal Aspects of Computing.
Steven J. Vickers,
2008,
Math. Log. Q..
Steven J. Vickers,
2017,
Math. Log. Q..
Steven J. Vickers,
2010,
Fuzzy Sets Syst..
Steven J. Vickers,
2013,
Computation, Logic, Games, and Quantum Foundations.
Steven J. Vickers,
M. Andrew Moshier,
Achim Jung,
2008,
MFPS.
Steven J. Vickers,
Mark Dawson,
1994,
Theory and Formal Methods.
Bas Spitters,
Steven J. Vickers,
Sander Wolters,
2013,
QPL.
Steven J. Vickers,
2009,
J. Log. Anal..
Steven J. Vickers,
S. Vickers,
1987,
MFPS.
Steven J. Vickers,
1993,
Theor. Comput. Sci..
Steven J. Vickers,
Yde Venema,
Jacob Vosmaer,
2012,
Mathematical Structures in Computer Science.
Steven J. Vickers,
Christopher F. Townsend,
2004,
Theor. Comput. Sci..
Steven J. Vickers,
Gillian Hill,
2006,
Theor. Comput. Sci..
Steven J. Vickers,
1987,
Category Theory and Computer Science.
Steven J. Vickers,
S. Vickers,
1999,
Mathematical Structures in Computer Science.
Steven J. Vickers,
S. Vickers,
1994,
Theory and Formal Methods.
Steven J. Vickers,
2001,
Math. Struct. Comput. Sci..
Steven J. Vickers,
2012,
Ann. Pure Appl. Log..
Steven J. Vickers,
2007,
Handbook of Spatial Logics.
Steven J. Vickers,
2007,
J. Symb. Log..
Steven J. Vickers,
Michael P. Fourman,
1985,
CTCS.
Steven J. Vickers,
Erik Palmgren,
S. Vickers,
2007,
Ann. Pure Appl. Log..
Steven J. Vickers,
Steven J. Vickers,
2006,
Ann. Pure Appl. Log..
Steven J. Vickers,
S. Vickers,
1993,
Theory and Formal Methods.
Steven J. Vickers,
Francesco Ciraulo,
S. Vickers,
2016,
Ann. Pure Appl. Log..
Steven J. Vickers,
Samson Abramsky,
S. Abramsky,
1993,
Mathematical Structures in Computer Science.
Steven J. Vickers,
Gillian Hill,
2004,
AMAST.
Steven J. Vickers,
2004,
Theor. Comput. Sci..
Steven J. Vickers,
Pedro Resende,
S. Vickers,
2003,
Theor. Comput. Sci..