阿奇姆·荣格
人员信息
附属: 英国伯明翰大学
其他同名人员
优化列表
2020年–今天
2022 [电子9] 翁建豪 , 赵东生 , 阿奇姆·荣格 , 张国强 , 张国强 :
第九届领域理论及其应用国际研讨会论文集,ISDT 2022,新加坡,2022年7月4日至6日。 理论信息学和计算机科学电子笔记 2, 认识科学 2022 [目录] 2021 [公元24年] 翁贝托·里维奇奥 , 阿奇姆·荣格 :
二阶格的对偶性。 软计算。 25 ( 2 ) : 851-868 ( 2021 ) 2020 [公元23年] 翁贝托·里维奇奥 , 保罗·迈亚 , 阿奇姆·荣格 :
非渐进扭转结构。 日志。 J.IGPL公司 28 ( 5 ) : 973-999 ( 2020 )
2010 – 2019
2019 [公元22年] 托马斯·雅克 , 阿奇姆·荣格 , 亚历斯·普特尔 :
d-框架的商。 申请。 分类结构。 27 ( 三 ) : 261-275 ( 2019 ) [公元33年] 阿奇姆·荣格 , 李庆国 , 徐罗山 , 张国强 :
前言。 ISDT公司 2019 : 1-2 [电子8] 阿奇姆·荣格 , 李庆国 , 徐罗山 , 张国强 :
第八届领域理论及其应用国际研讨会论文集,2019年6月14日至17日,中国扬州。 理论计算机科学电子笔记 345, 爱思维尔 2019 [目录] [i7] 亚历山大·库兹 , Andrew Moshier先生 , 阿奇姆·荣格 :
关系的石头二元性。 CoRR公司 abs/1912.08418 ( 2019 ) 2018 [公元21年] 翁建豪 , 让·古堡-拉雷克 , 阿奇姆·荣格 , 肖永熙 :
合照问题。 日志。 方法计算。 科学。 14 ( 1 ) ( 2018 ) [电子7] 丹·吉卡(Dan R.Ghica) , 阿奇姆·荣格 :
第27届EACSL计算机科学逻辑年会,2018年9月4日至7日,英国伯明翰。 LIPIcs公司 119, Schloss Dagstuhl-莱布尼茨信息中心 2018 ,国际标准图书编号 978-3-95977-088-0 [目录] 2017 [公元20年] 翁贝托·里维奇奥 , 阿奇姆·荣格 , 拉蒙·贾萨纳 :
四值模态逻辑:克里普克语义和对偶性。 J.日志。 计算。 27 ( 1 ) : 155-199 ( 2017 ) [公元19年] 阿奇姆·荣格 , 张国强 :
前言。 数学。 结构。 计算。 科学。 27 ( 4 ) : 459 ( 2017 ) [c32] 托马斯·雅克 , 阿奇姆·荣格 :
d-框架的自由构造和余积。 CALCO公司 2017 : 14:1-14:15 [公元31年] 丹·吉卡(Dan R.Ghica) , 阿奇姆·荣格 , 阿利奥梅·洛佩兹 :
数字电路的图解语义。 CSL公司 2017 : 24:1-24:16 [c30] 罗茂康 , 阿奇姆·荣格 , 张国强 :
前言。 ISDT公司 2017 : 1-2 [电子6] 罗茂康 , 阿奇姆·荣格 , 张国强 :
第七届领域理论及其应用国际研讨会,2017年ISDT,中国石家庄,2017年6月2-6日。 理论计算机科学电子笔记 333, 爱思维尔 2017 [目录] [i6] 丹·吉卡(Dan R.Ghica) , 阿奇姆·荣格 , 阿利奥梅·洛佩兹 :
数字电路的图解语义。 CoRR公司 abs/1703.10247 ( 2017 ) [i5] 托马斯·雅克 , 阿奇姆·荣格 :
d-框架的自由构造和余积。 CoRR公司 abs/1704.04029 ( 2017 ) 2016 [公元29年] 丹·吉卡(Dan R.Ghica) , 阿奇姆·荣格 :
数字电路的分类语义。 FMCAD公司 2016 : 41-48 [公元28年] 托马斯·雅克尔 , 阿奇姆·荣格 , 亚历斯·普特尔 :
双拓扑和四值逻辑。 MFPS公司 2016 : 201-219 [i4] 翁建豪 , 阿奇姆·荣格 , 赵东生 :
联合连续性+超连续性=素数连续性。 CoRR公司 abs/1607.01886 ( 2016 ) [i3] 翁建豪 , 阿奇姆·荣格 , 肖永熙 :
合照问题。 CoRR公司 abs/1607.03286 ( 2016 ) 2015 [公元18年] 贾晓东 , 阿奇姆·荣格 , 惠口 , 李庆国 , 赵浩然 :
拟连续域的所有笛卡尔闭范畴都由域组成。 西奥。 计算。 科学。 594 : 143-150 ( 2015 ) [i2] 迈·盖尔克 , 阿奇姆·荣格 , 维克托·塞利瓦诺夫 , 迪特尔·斯普林 :
计算机科学中的二重性(Dagstuhl研讨会15441)。 达格斯图尔报告 5 ( 10 ) : 66-88 ( 2015 ) 2014 [公元17年] 阿奇姆·荣格 :
语义列。 ACM SIGLOG新闻 1 ( 2 ) : 25-37 ( 2014 ) [公元27年] 陈良亭 , 阿奇姆·荣格 :
关于余代数模态逻辑的范畴框架。 MFPS公司 2014 : 109-128 [公元26年] 让·古堡-拉雷克 , 阿奇姆·荣格 :
QRB、QFS和概率功率域。 MFPS公司 2014 : 167-182 2013 [公元16年] 阿奇姆·荣格 , 乔纳森·罗伊 :
偏好函数的收敛。 西奥。 计算。 科学。 488 : 66-77 ( 2013 ) [公元25年] 阿奇姆·荣格 :
逻辑形式的连续域理论。 计算、逻辑、游戏和量子基础 2013 : 166-177 [公元24年] 阿奇姆·荣格 , 翁贝托·里维奇奥 :
模态双值逻辑的克里普克语义。 低收入国家 2013 : 438-447 【c23】 阿奇姆·荣格 , 翁贝托·里维奇奥 :
四值模态逻辑:克里普克语义和对偶性。 TACL公司 2013 : 120-124 2012 [公元15年] 阿奇姆·荣格 , 翁贝托·里维切西奥 :
普里斯特利对双边性的对偶。 Stud Logica公司 100 ( 1-2 ) : 223-252 ( 2012 ) [公元22年] 斯蒂芬·布鲁克斯 , 阿奇姆·荣格 , 凯瑟琳·梅多斯 , 迈克尔·米斯洛夫 , 普拉卡什·帕南加登 :
奉献。 MFPS公司 2012 : 三 2010 [公元14年] 伯恩哈德再利用 , 阿奇姆·荣格 , 克劳斯·凯梅尔 , 托马斯·斯特里彻 :
域名专刊前言。 数学。 结构。 计算。 科学。 20 ( 2 ) : 105-106 ( 2010 )
2000 – 2009
2009 【c21】 陈一香 , Ernst-Erich Doberkat先生 , 阿奇姆·荣格 :
前言。 ISDT公司 2009 : 1-2 [电子5] 陈一香 , Ernst-Erich Doberkat先生 , 阿奇姆·荣格 :
第五届领域理论国际研讨会论文集,ISDT 2009,中国上海,2009年9月12-14日。 理论计算机科学电子笔记 257, 爱思维尔 2009 [目录] 2008 [j13] 阿奇姆·荣格 , M.安德鲁·莫舍 :
双拓扑空间的Hofmann-Mislove定理。 J.日志。 代数方法程序。 76 ( 2 ) : 161-174 ( 2008 ) [公元20年] 阿奇姆·荣格 , M.安德鲁·莫舍 , 史蒂芬·J·维克斯 :
介绍Dcpos和Dcpo代数。 MFPS公司 2008 : 209-229 2007 [公元12年] 马丁·霍泽尔·埃斯卡多 , 阿奇姆·荣格 , 托马斯·斯特里彻 :
前言。 数学。 结构。 计算。 科学。 17 ( 5 ) : 839-839 ( 2007 ) [第19条] 阿奇姆·荣格 , M.安德鲁·莫舍 :
双拓扑空间的Hofmann-Mislove定理。 MFPS公司 2007 : 159-175 2006 [公元11年] 马丁·霍泽尔·埃斯卡多 , 阿奇姆·荣格 , 托马斯·斯特里彻 :
前言。 数学。 结构。 计算。 科学。 16 ( 2 ) : 139-140 ( 2006 ) [公元10年] 陈一翔 , 阿奇姆·荣格 :
稳定域的逻辑方法。 西奥。 计算。 科学。 368 ( 1-2 ) : 124-148 ( 2006 ) [第18条] 穆罕默德·埃尔·扎瓦维 , 阿奇姆·荣格 :
强邻近格的Priestley对偶。 MFPS公司 2006 : 199-217 [电子4] 马丁·霍泽尔·埃斯卡多 , 阿奇姆·荣格 , 迈克尔·米斯洛夫 :
《第21届编程语义数学基础年会论文集》,MFPS 2005,英国伯明翰,2005年5月18日至21日。 理论计算机科学电子笔记 155, 爱思维尔 2006 [目录] 2005 [第17条] 马丁·霍泽尔·埃斯卡多 , 阿奇姆·荣格 , 迈克尔·米斯洛夫 :
前言。 MFPS公司 2005 : 1-3 [i1] Chris很好 , 阿奇姆·荣格 , 罗宾·奈特 , 拉尔夫·科珀曼 :
辅助关系和三明治定理。 空间表示 2005 2004 [公元9年] 阿巴斯·艾达拉特 , 阿奇姆·荣格 :
领域理论专题介绍。 数学。 结构。 计算。 科学。 14 ( 6 ) : 769 ( 2004 ) [j8] 拉尔斯·比克达尔 , 马丁·霍泽尔·埃斯卡多 , 阿奇姆·荣格 , 朱塞佩·罗索里尼 :
前言:领域理论的最新发展:纪念达纳·S·斯科特的论文集。 西奥。 计算。 科学。 316 ( 1 ) : 1-2 ( 2004 ) [j7] 毛里齐奥·阿尔瓦雷兹·马尼拉 , 阿奇姆·荣格 , 克劳斯·凯梅尔 :
稳定紧空间的概率幂域。 西奥。 计算。 科学。 328 ( 三 ) : 221-244 ( 2004 ) [电子3] 马丁·埃斯卡多 , 阿奇姆·荣格 :
2002年9月16日至19日,英国伯明翰,2002年第六届域名研讨会会议记录。 理论计算机科学电子笔记 73, 爱思维尔 2004 [目录] 2003 [第16条] 阿奇姆·荣格 :
稳定紧致空间和概率幂空间构造。 数字多处理器 2003 : 5-20 2002 [第15条] M.安德鲁·莫舍 , 阿奇姆·荣格 :
语义学概率逻辑。 CSL公司 2002 : 216-231 [第14条] 马丁·霍泽尔·埃斯卡多 , 阿奇姆·荣格 :
前言。 域研讨会 2002 : 1-2 2001 [c13] 阿奇姆·荣格 , 马蒂亚斯·凯格曼 , M.安德鲁·莫舍 :
稳定紧空间与闭关系。 MFPS公司 2001 : 209-231年 2000 [j6] 伦敦帝国学院 , 阿奇姆·荣格 , 克劳斯·凯梅尔 :
线性类型和近似值。 数学。 结构。 计算。 科学。 10 ( 6 ) : 719-745年 ( 2000 )
1990 – 1999
1999 [j5] 阿奇姆·荣格 , 马蒂亚斯·凯格曼 , M.安德鲁·莫舍 :
多语言序列演算与相干空间。 芬丹。 信息学 37 ( 4 ) : 369-412 ( 1999 ) [第12条] 斯蒂芬·布鲁克斯 , 阿奇姆·荣格 , 迈克尔·米斯洛夫 , 安德烈·塞德洛夫 :
前言。 MFPS公司 1999 : 512-513 [电子2] 斯蒂芬·布鲁克斯 , 阿奇姆·荣格 , 迈克尔·米斯洛夫 , 安德烈·塞德洛夫 :
第十五届编程语义学数学基础会议,MFPS 1999,美国路易斯安那州新奥尔良杜兰大学,1999年4月28日至5月1日。 理论计算机科学电子笔记 20, 爱思维尔 1999 [目录] 1997 [第11条] 阿巴斯·艾达拉特 , 阿奇姆·荣格 , 克劳斯·凯梅尔 , Marta Z.Kwiatkowska公司 :
前言。 COMPROX公司 1997 : 1 [第10条] 阿奇姆·荣格 , 里贾娜·提克斯 :
麻烦的概率功率域。 COMPROX公司 1997 : 70-91 【c9】 阿奇姆·荣格 , 马蒂亚斯·凯格曼 , M.安德鲁·莫舍 :
多语言序列演算和相干空间。 MFPS公司 1997 : 203-220 [电子1] 阿巴斯·艾达拉特 , 阿奇姆·荣格 , 克劳斯·凯梅尔 , Marta Z.Kwiatkowska公司 :
第三次计算和近似研讨会,COMPROX 1997,英国伯明翰,1997年9月11-13日。 理论计算机科学电子笔记 13, 爱思维尔 1997 [目录] 1995 【c8】 阿奇姆·荣格 , 赫尔曼·普尔曼 :
嵌套数据库的类型、逻辑和语义。 MFPS公司 1995 : 334-354 1994 【c7】 伦敦帝国学院 , 阿奇姆·荣格 , 克劳斯·凯梅尔 :
线性类型、近似和拓扑。 低收入国家 1994 : 110-114 1993 【c6】 阿奇姆·荣格 , 阿伦·斯托顿 :
在连续函数模型中研究PCF的完全抽象模型。 薄层色谱分析 1993 : 230-244 【c5】 阿奇姆·荣格 , Jerzy Tiuryn公司 :
Lambda可定义性的新表征。 薄层色谱分析 1993 : 245-257 1991 【j4】 阿奇姆·荣格 :
不同领域类别中的依赖产品构造。 西奥。 计算。 科学。 79 ( 2 ) : 359-363 ( 1991 ) [j3] 彼得·布内曼 , 阿奇姆·荣格 , 大森Atsushi Ohori :
使用Powerdomains泛化关系数据库。 西奥。 计算。 科学。 91 ( 1 ) : 23-55岁 ( 1991 ) 【c4】 阿奇姆·荣格 , 列昂尼德·利布金 , 赫尔曼·普尔曼 :
域的分解。 MFPS公司 1991 : 235-258 1990 [注2] 阿奇姆·荣格 :
代数CPO的笛卡尔闭范畴。 西奥。 计算。 科学。 70 ( 2 ) : 233-250 ( 1990 ) 【c3】 阿奇姆·荣格 :
连续域的分类(扩展摘要)。 低收入国家 1990 : 35-40
1980 – 1989
1988 【c2】 卡尔·A·冈特 , 阿奇姆·荣格 :
领域的一致性和一致性(扩展大纲)。 低收入国家 1988 : 309-317 1987 [j1] 阿奇姆·荣格 :
实施RSA密码系统。 计算。 安全。 6 ( 4 ) : 342-350 ( 1987 ) 【c1】 阿奇姆·荣格 :
关于域层次结构的新结果。 MFPS公司 1987 : 303-310