丹尼尔·戈林
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 [公元20年] 丹尼尔·戈林 , 马尔特·梅恩 , 亚历山大·诺曼 , 米里亚姆·波尔泽 , 乌尔里希·拉宾斯坦 , 卢茨·施罗德 :
精神病学临床实践指南的本体论建模。 KI公司 2017 : 300-308 2014 [j5] 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
独立友好逻辑是一种二阶逻辑,具有弱依赖性,通过平坦化进行经典否定。 J.计算。 系统。 科学。 80 ( 6 ) : 1102-1118 ( 2014 ) [第19条] 丹尼尔·戈林 , 卢茨·施罗德 :
共轭余代数不动点逻辑中的包含检查。 模态逻辑的进展 2014 : 254-273 [第18条] 丹尼尔·戈林 , 德克·帕丁森 , 卢茨·施罗德 , 弗洛里安·维德曼 , 托尔斯滕·维曼 :
酷-一个通用推理机用于混合逻辑(系统描述)。 国际JCAR 2014 : 396-402 [i4] 丹尼尔·戈林 , 卢茨·施罗德 :
联合代数不动点逻辑中的替换检查。 CoRR公司 abs/1401.6359 ( 2014 ) 2013 【j4】 吉多·德卡索 , 迭戈·加伯维斯基 , 丹尼尔·戈林 :
教育中的集成程序验证工具。 柔和。 实际。 支出。 43 ( 4 ) : 403-418 ( 2013 ) [第17条] 丹尼尔·戈林 , 卢茨·施罗德 :
Coalgebraic Modal Logics的仿真和互仿真。 CALCO公司 2013 : 253-266 [第16条] 丹尼尔·戈林 , 卢茨·施罗德 , Thorsten Wißmann公司 :
使用逻辑解释器进行有界自引用推理。 描述逻辑 2013 : 689-703 [第15条] 法昆多·卡雷罗 , 丹尼尔·戈林 , 卢茨·施罗德 :
Coalgebraic公告逻辑。 ICALP(二) 2013 : 101-112 [i3] 丹尼尔·戈林 , 卢茨·施罗德 :
Coalgebraic Modal Logics的仿真和互仿真。 CoRR公司 腹肌/1303.2467 ( 2013 ) 2012 [第14条] 丹尼尔·戈林 , 卢茨·施罗德 :
使用有界自引用扩展ALCQ。 模态逻辑的进展 2012 : 300-316 [第13条] 丹尼尔·戈林 , 卢茨·施罗德 :
自恋者容易,继母难。 FoSSaCS公司 2012 : 240-254 2011 [j3] 卡洛斯·阿雷塞斯 , 丹尼尔·戈林 :
混合逻辑的顺序和选择解析。 J.自动化。 原因。 46 ( 1 ) : 1-42 ( 2011 ) [第12条] 吉多·德卡索 , 迭戈·加伯维斯基 , 丹尼尔·戈林 :
害虫:从实验室到教室。 主题@ICSE 2011 : 5-8 [第11条] 卡洛斯·阿雷塞斯 , 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 :
在引用表达式的生成中使用逻辑。 拉丁美洲和加勒比海 2011 : 17-32 [第10条] 迭戈·加伯维斯基 , 丹尼尔·戈林 , 阿里尔·内森 :
使用动态框架强制结构不变量。 TACAS公司 2011 : 65-80 【c9】 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
论IF-Logic与经典否定的表达力。 沃尔利克 2011 : 135-145 【c8】 丹尼尔·戈林 , 塞尔吉奥·梅拉 , 费尔南多·沙帕奇尼克 :
法律起草软件工具。 弗拉科斯 2011 : 71-86 【c7】 卡洛斯·阿雷塞斯 , 丹尼尔·戈林 :
未分类的功能翻译。 M4M/LAMAS公司 2011 : 3-16 2010 [注2] 卡洛斯·阿雷塞斯 , 丹尼尔·戈林 :
模态逻辑的共创模型和范式(或者我们如何学会停止担忧和热爱共创)。 J.应用。 日志。 8 ( 4 ) : 305-318 ( 2010 ) [j1] 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 , 拉斐尔·格林森 :
类IF逻辑的形式语义。 J.计算。 系统。 科学。 76 ( 5 ) : 333-346 ( 2010 ) 【c6】 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 :
关于最短模态描述的大小。 模态逻辑的进展 2010 : 120-139 【c5】 丹尼尔·戈林 , 塞尔吉奥·梅拉 , 费尔南多·沙帕奇尼克 :
模型检查法律文件。 朱利克斯 2010 : 151-154 [i2] 卡洛斯·阿雷塞斯 , 圣地亚哥·菲格雷拉 , 丹尼尔·戈林 :
指称表达生成中的表达问题。 CoRR公司 腹肌/1006.4621 ( 2010 ) [i1] 吉多·德·卡索 , 迭戈·加伯维斯基 , 丹尼尔·戈林 :
减少面向验证的命令式语言中的注释数。 CoRR公司 abs/1011.3407 ( 2010 )
2000 – 2009
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)