Search the dblp DataBase
Steven Vickers :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gillian Hill , Steven Vickers A Language for Configuring Multi-level Specifications. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:196-210 [Conf ] Michael P. Fourman , Steven Vickers Theories as Categories. [Citation Graph (0, 0)][DBLP ] CTCS, 1985, pp:434-448 [Conf ] Steven Vickers A Fixpoint Construction of the p-adic Domain. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1987, pp:270-289 [Conf ] Mark Dawson , Steven Vickers Towards a GeoZ Toolkit. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1994, pp:365-380 [Conf ] Steven Vickers Geometric Logic in Computer Science. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1993, pp:37-54 [Conf ] Steven Vickers Locales are Not Pointless. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1994, pp:199-216 [Conf ] Steven Vickers Geometric logic as a Specification Language. [Citation Graph (0, 0)][DBLP ] Theory and Formal Methods, 1994, pp:321-340 [Conf ] Steven Vickers An Algorithmic Approach to the p-adic Integers. [Citation Graph (0, 0)][DBLP ] MFPS, 1987, pp:599-615 [Conf ] Steven Vickers , Gillian Hill Presheaves as Configured Specifications. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2001, v:13, n:1, pp:32-49 [Journal ] Samson Abramsky , Steven Vickers Quantales, Observational Logic and Process Semantics. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:161-227 [Journal ] Steven Vickers Strongly algebraic = SFP (topically). [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:717-742 [Journal ] Steven Vickers Topical categories of domains. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1999, v:9, n:5, pp:569-616 [Journal ] Gillian Hill , Steven Vickers A language for configuring multi-level specifications. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:351, n:2, pp:146-166 [Journal ] Pedro Resende , Steven Vickers Localic sup-lattices and tropological systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:305, n:1-3, pp:311-346 [Journal ] Steven Vickers Entailment systems for stably locally compact locales. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:316, n:1, pp:259-296 [Journal ] Steven Vickers Information Systems for Continuous Posets. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:114, n:2, pp:201-229 [Journal ] Search in 0.002secs, Finished in 0.002secs