雅各布·沃斯默
人员信息
SPARQL查询
优化列表
2010 – 2019
2013 [j3] Yde Venema公司 , 韦启贤 , 雅各布·沃斯默 :
通过关系提升实现广义powerlocales。 数学。 结构。 计算。 科学。 23 ( 1 ) : 142-199 ( 2013 ) 2012 [i3] Yde Venema公司 , 韦启贤 , 雅各布·沃斯默 :
通过关系提升的广义功率域。 CoRR公司 abs/1202.3264 ( 2012 ) 2011 [注2] 迈·盖尔克 , 雅各布·沃斯默 :
通过dcpo表示的规范扩展和规范性。 西奥。 计算。 科学。 412 ( 25 ) : 2714-2723 ( 2011 ) 2010 [i2] 迈·盖尔克 , 雅各布·沃斯默 :
规范扩展的一种观点。 CoRR公司 abs/1009.2803 ( 2010 )
2000 – 2009
2009 【c1】 迈·盖尔克 , 雅各布·沃斯默 :
规范扩展视图。 TbiLLC公司 2009 : 77-100 [i1] 迈·盖尔克 , 雅各布·沃斯默 :
通过DCPO演示实现规范扩展和规范性。 CoRR公司 abs/0909.0171 ( 2009 ) 2008 [j1] 古拉姆·贝扎尼什维利 , 雅各布·沃斯默 :
MacNeille、Canonical和Profinite完井对比。 订单 25 ( 4 ) : 299-320 ( 2008 )