史蒂芬·J·维克斯
人员信息
附属: 英国伯明翰大学
优化列表
2020年–今天
2022 [公元22年] 吴铭(Ming Ng) , 史蒂文·维克斯 :
实指数的无点构造。 日志。 方法计算。 科学。 18 ( 三 ) ( 2022 )
2010 – 2019
2019 [公元21年] 史蒂文·维克斯 :
算术世界的草图。 J.日志。 分析。 11 ( 2019 ) 2017 [公元20年] 史蒂文·维克斯 :
局部紧区间是Escardó-Simpson区间对象。 数学。 日志。 问:。 63 ( 6 ) : 614-629 ( 2017 ) 2016 [公元19年] 弗朗西斯科·西罗洛 , 史蒂文·维克斯 :
区域设置上的积极关系。 Ann.纯粹应用。 日志。 167 ( 9 ) : 806-819 ( 2016 ) 2014 [公元18年] 史蒂文·维克斯 :
连续性和几何逻辑。 J.应用。 日志。 12 ( 1 ) : 14-27 ( 2014 ) 2013 [公元17年] Yde Venema公司 , 韦启贤 , 雅各布·沃斯梅尔 :
通过关系提升实现广义powerlocales。 数学。 结构。 计算。 科学。 23 ( 1 ) : 142-199年 ( 2013 ) [第12条] 韦启贤 :
主题形式的领域理论。 计算、逻辑、游戏和量子基础 2013 : 348-349 2012 [公元16年] 史蒂文·维克斯 :
形式拓扑中的余升和连通性。 Ann.纯粹应用。 日志。 163 ( 2 ) : 157-174 ( 2012 ) [第11条] 低音喷溅 , 史蒂文·维克斯 , 桑德·沃尔特斯 :
使用几何数学在Grothendieck拓扑中的Gelfand谱。 QPL公司 2012 : 77-107 [i1] Yde Venema公司 , 韦启贤 , 雅各布·沃斯梅尔 :
通过关系提升实现广义powerlocales。 CoRR公司 腹肌/1202.3264 ( 2012 ) 2011 [第10条] 贝特弗里德·福泽 , 纪尧姆·雷诺德 , 史蒂文·维克斯 :
波恩规则作为谱丛的结构(扩展抽象)。 QPL公司 2011 : 81-90 2010 [公元15年] 史蒂文·维克斯 :
模糊集和几何逻辑。 模糊集系统。 161 ( 9 ) : 1175-1204 ( 2010 )
2000 – 2009
2009 [公元14年] 史蒂文·维克斯 :
广义度量空间的局部完备II:Powerlocales。 J.日志。 分析。 1 ( 2009 ) 2008 [j13] 史蒂文·维克斯 :
下积分和上积分的局部理论。 数学。 日志。 问:。 54 ( 1 ) : 109-123 ( 2008 ) 【c9】 阿希姆·荣格 , M.安德鲁·莫舍 , 史蒂芬·J·维克斯 :
介绍Dcpos和Dcpo代数。 MFPS公司 2008 : 209-229 2007 [公元12年] 埃里克·帕尔姆格伦 , 史蒂芬·J·维克斯 :
部分霍恩逻辑和笛卡尔范畴。 Ann.纯粹应用。 日志。 145 ( 三 ) : 314-353 ( 2007 ) [公元11年] 史蒂文·维克斯 :
正式拓扑中的子区域设置。 J.塞姆。 日志。 72 ( 2 ) : 463-482 ( 2007 ) [第1页] 史蒂文·维克斯 :
区域设置和拓扑作为空间。 空间逻辑手册 2007 : 429-496 2006 [公元10年] 史蒂芬·J·维克斯 :
区域设置和正式拓扑的紧凑性。 Ann.纯粹应用。 日志。 137 ( 1-3 ) : 413-438 ( 2006 ) [公元9年] 吉莉安·希尔 , 史蒂文·维克斯 :
用于配置多级规范的语言。 西奥。 计算。 科学。 351 ( 2 ) : 146-166 ( 2006 ) 2004 [j8] 史蒂文·维克斯 :
用于稳定的局部紧凑区域设置的包含系统。 西奥。 计算。 科学。 316 ( 1 ) : 259-296 ( 2004 ) [j7] 史蒂芬·J·维克斯 , 克里斯托弗·汤森 :
双电力线的通用特征。 西奥。 计算。 科学。 316 ( 1 ) : 297-321 ( 2004 ) 【c8】 吉莉安·希尔 , 史蒂文·维克斯 :
配置多级规范的语言。 阿马斯特 2004 : 196-210 2003 [j6] 佩德罗·雷森德 , 史蒂文·维克斯 :
局部超视距和对流层系统。 西奥。 计算。 科学。 305 ( 1-3 ) : 311-346 ( 2003 ) 2001 [j5] 史蒂文·维克斯 , 吉莉安·希尔 :
根据配置规范进行预升。 形式方面计算。 13 ( 1 ) : 32-49 ( 2001 ) 【j4】 史蒂文·维克斯 :
强代数=SFP(局部)。 数学。 结构。 计算。 科学。 11 ( 6 ) : 717-742 ( 2001 )
1990 – 1999
1999 [j3] 史蒂文·维克斯 :
领域的主题类别。 数学。 结构。 计算。 科学。 9 ( 5 ) : 569-616 ( 1999 ) 1994 【c7】 史蒂文·维克斯 :
区域设置并非毫无意义。 理论与形式方法 1994 : 199-216 【c6】 史蒂文·维克斯 :
几何逻辑作为规范语言。 理论与形式方法 1994 : 321-340 【c5】 马克 道森 , 史蒂文·维克斯 :
朝向GeoZ工具包。 理论与形式方法 1994 : 365-380 1993 [注2] 萨姆森·阿布拉姆斯基 , 史蒂文·维克斯 :
量子数、观察逻辑和过程语义学。 数学。 结构。 计算。 科学。 三 ( 2 ) : 161-227 ( 1993 ) [j1] 史蒂文·维克斯 :
连续姿势信息系统。 西奥。 计算。 科学。 114 ( 2 ) : 201-229 ( 1993 ) 【c4】 史蒂文·维克斯 :
计算机科学中的几何逻辑。 理论与形式方法 1993 : 37-54
1980 – 1989
1987 【c3】 史蒂文·维克斯 :
p-adic域的不动点构造。 范畴理论与计算机科学 1987 : 270-289 【c2】 史蒂文·维克斯 :
p-adic整数的算法方法。 MFPS公司 1987 : 599-615 1985 【c1】 迈克尔·福曼 , 史蒂文·维克斯 :
理论作为范畴。 CTCS公司 1985 : 434-448