Segui
Steven Vickers
Steven Vickers
Senior Lecturer, School of Computer Science, University of Birmingham
Email verificata su cs.bham.ac.uk
Titolo
Citata da
Citata da
Anno
Topology Via Logic, volume 5 of Cambridge Tracts in Theoretical Computer Science
S Vickers
Cambridge University Press, 1989
11831989
Quantales, observational logic and process semantics
S Abramsky, S Vickers
Mathematical structures in computer science 3 (2), 161-227, 1993
3171993
Localic completion of generalized metric spaces I
S Vickers
Theory and Applications of Categories 14 (15), 328-356, 2005
1022005
Preframe presentations present
P Johnstone, S Vickers
Category Theory: Proceedings of the International Conference held in Como …, 2006
962006
Partial Horn logic and cartesian categories
E Palmgren, SJ Vickers
Annals of Pure and Applied Logic 145 (3), 314-353, 2007
912007
Information systems for continuous posets
S Vickers
Theoretical Computer Science 114 (2), 201-229, 1993
871993
Switchable Electron‐Transfer Processes in a Mixed‐Valence, Kinetically Locked, Trinuclear RuII Metallamacrocycle
N Shan, SJ Vickers, H Adams, MD Ward, JA Thomas
Angewandte Chemie International Edition 43 (30), 3938-3941, 2004
792004
Locales and toposes as spaces
S Vickers
Handbook of spatial logics, 429-496, 2007
762007
The double powerlocale and exponentiation: a case study in geometric logic
S Vickers
Theory and Applications of Categories 12 (13), 372-422, 2004
612004
A universal characterization of the double powerlocale
SJ Vickers, CF Townsend
Theoretical Computer Science 316 (1-3), 297-321, 2004
552004
Geometric theories and databases
S Vickers
Applications of Categories in Computer Science 177, 288-314, 1992
541992
Constructive points of powerlocales
S Vickers
Mathematical Proceedings of the Cambridge Philosophical Society 122 (2), 207-222, 1997
531997
Locales are Not Pointless.
S Vickers
Theory and Formal Methods, 199-216, 1994
461994
Geometric logic in computer science
S Vickers
Theory and Formal Methods 1993: Proceedings of the First Imperial College …, 1993
431993
Facile preparation of a visible-and near-infrared-active electrochromic film by direct deposition of a ruthenium dioxolene complex on an ITO/glass surface
SJ Vickers, MD Ward
Electrochemistry communications 7 (4), 389-393, 2005
422005
Topical categories of domains
S Vickers
Mathematical Structures in Computer Science 9 (5), 569-616, 1999
421999
Structure and Properties of Dinuclear [RuII([n]aneS4)] Complexes of 3,6-Bis(2-pyridyl)-1,2,4,5-tetrazine
M Newell, JD Ingram, TL Easun, SJ Vickers, H Adams, MD Ward, ...
Inorganic chemistry 45 (2), 821-827, 2006
332006
Synthesis of tripodal tris-phosphonate ligands and the structure of the dimeric complex [Ce (NO3) 3 {(EtO) 2P (O) CH2) 3C6Me3] 2
J Fawcett, AWG Platt, S Vickers
Polyhedron 22 (11), 1431-1435, 2003
322003
Presenting dcpos and dcpo algebras
A Jung, MA Moshier, S Vickers
Electronic Notes in Theoretical Computer Science 218, 209-229, 2008
302008
Some constructive roads to Tychonoff
S Vickers
From sets and types to topology and analysis: Towards practicable …, 2005
302005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20