Steven J. Vickers
According to our database^{1},
Steven J. Vickers
authored at least 33 papers
between 1985 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at id.loc.gov

at andrej.com
On csauthors.net:
Bibliography
2019
J. Log. Anal., 2019
2017
Math. Log. Q., 2017
2016
Ann. Pure Appl. Log., 2016
2014
J. Appl. Log., 2014
2013
Math. Struct. Comput. Sci., 2013
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013
2012
Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012
CoRR, 2012
Ann. Pure Appl. Log., 2012
2010
Fuzzy Sets Syst., 2010
2009
J. Log. Anal., 2009
2008
Math. Log. Q., 2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
J. Symb. Log., 2007
Ann. Pure Appl. Log., 2007
2006
Theor. Comput. Sci., 2006
Ann. Pure Appl. Log., 2006
2004
Theor. Comput. Sci., 2004
Theor. Comput. Sci., 2004
2003
Theor. Comput. Sci., 2003
2001
Math. Struct. Comput. Sci., 2001
Formal Aspects Comput., 2001
1999
Math. Struct. Comput. Sci., 1999
1994
Geometric logic as a Specification Language.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994
Locales are Not Pointless.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994
Towards a GeoZ Toolkit.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994
1993
Theor. Comput. Sci., 1993
Math. Struct. Comput. Sci., 1993
Geometric Logic in Computer Science.
Proceedings of the Theory and Formal Methods 1993, 1993
1987
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987
Proceedings of the Category Theory and Computer Science, 1987
1985
Proceedings of the Category Theory and Computer Programming, 1985