格里戈里造币厂
人员信息
附属: 美国斯坦福大学哲学系
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 [公元42年] 格里戈里造币厂 :
经典和直觉几何逻辑。 拍打 4 ( 4 ) ( 2017 ) 2016 [公元41年] Akiyoshi良田 , 格里戈里造币厂 :
欧米伽定律的推广。 架构(architecture)。 数学。 日志。 55 ( 3-4 ) : 593-603 ( 2016 ) [j40] 格里戈里造币厂 , 谢恩·斯坦内特·特雷克尔德 :
直觉命题自然演绎的ADC证明搜索方法。 J.日志。 计算。 26 ( 1 ) : 395-408 ( 2016 ) 2014 [公元39年] 西尔维奥·吉拉尔迪 , 格里戈里造币厂 :
传递性密集框架的逻辑:从分步框架分析到完全删减。 日志。 J.IGPL公司 22 ( 4 ) : 585-596 ( 2014 ) 2013 [公元38年] 格里戈里造币厂 :
一阶和二阶谓词逻辑的Epsilon替换。 Ann.纯粹应用。 日志。 164 ( 6 ) : 733-739 ( 2013 ) [公元37年] 格里戈里造币厂 , 格里戈里·奥尔霍维科夫 , 阿拉斯代尔·厄克哈特 :
常域直觉逻辑中的插值失败。 J.塞姆。 日志。 78 ( 三 ) : 937-950 ( 2013 ) 2012 [公元36年] 格里戈里造币厂 :
有效去除模态微积分片段。 Stud Logica公司 100 ( 1-2 ) : 279-287 ( 2012 ) [第14条] 格里戈里造币厂 :
直觉主义命题公式的哥德尔-塔斯基翻译。 正确的推理 2012 : 487-491 [第13条] 格里戈里造币厂 , 托马斯·斯图德 :
用一个变量消除微积分。 菲莎国际学院 2012 : 47-54 [i1] 格里戈里造币厂 :
直觉主义存在实例化和艾司隆符号。 CoRR公司 abs/1208.0861 ( 2012 ) 2011 [第12条] 格里戈里造币厂 :
欧米茄规则的可计数版本。 沃尔利克 2011 : 201-209 2010 [j35] 谢尔盖·N·阿特莫夫 , 尤里·马蒂亚塞维奇 , 格里戈里造币厂 , 阿纳托尔·斯利森科 :
前言。 Ann.纯粹应用。 日志。 162 ( 三 ) : 173-174 ( 2010 ) [j34] 格里戈里造币厂 :
这里和那里的量化逻辑的自由裁量公式。 Ann.纯粹应用。 日志。 162 ( 三 ) : 237-242 ( 2010 ) [第11条] 格里戈里造币厂 :
用马斯洛夫逆方法判定E类。 逻辑与计算领域 2010 : 529-537
2000 – 2009
2009 [公元33年] 格里戈里造币厂 , 瓦莱丽亚·德佩瓦 , 鲁伊·J·G·B·德·奎罗斯 :
逻辑、语言、信息和计算。 Inf.计算。 207 ( 10 ) : 969-970 ( 2009 ) 2008 [公元32年] 格里戈里造币厂 :
ε演算简单公式的割消。 Ann.纯粹应用。 日志。 152 ( 1-3 ) : 148-160 ( 2008 ) [第10条] 格里戈里造币厂 :
证明搜索树和切割消除。 计算机科学支柱 2008 : 521-536 2007 [第3页] 菲利普·克莱默 , 格里戈里造币厂 :
动态拓扑逻辑。 空间逻辑手册 2007 : 565-606 2006 [公元31年] 格里戈里造币厂 :
S4对于(0,1)是拓扑完备的:一个简短证明。 日志。 J.IGPL公司 14 ( 1 ) : 63-71 ( 2006 ) 【j30】 格里戈里造币厂 :
S4C的切割消除:案例研究。 Stud Logica公司 82 ( 1 ) : 121-132 ( 2006 ) [公元29年] 格里戈里造币厂 :
关于建设性否定的注释。 合成。 148 ( 三 ) : 701-717 ( 2006 ) 【c9】 格里戈里造币厂 :
解除无效切割消除证明。 企业社会责任 2006 : 259-269 【c8】 格里戈里造币厂 , 鲁伊·J·G·B·德·奎罗斯 :
前言。 沃尔利克 2006 : 1-3 [电子2] 格里戈里造币厂 , 鲁伊·J·G·B·德·奎罗斯 :
2006年7月18日至21日,美国加利福尼亚州斯坦福大学,第13届逻辑、语言、信息和计算研讨会论文集,WoLLIC 2006。 理论计算机科学电子笔记 165, 爱思维尔 2006 [目录] 2005 [公元28年] 格里戈里造币厂 , Ting Zhang(张婷) :
康托空间中连续变换的命题逻辑。 架构(architecture)。 数学。 日志。 44 ( 6 ) : 783-799 ( 2005 ) [公元27年] 菲利普·克莱默 , 格里戈里造币厂 :
动态拓扑逻辑。 Ann.纯粹应用。 日志。 131 ( 1-3 ) : 133-158 ( 2005 ) [公元26年] 格里戈里造币厂 , Ting Zhang(张婷) :
拓扑完备性的证明 S公司 4英寸(0,1)。 Ann.纯粹应用。 日志。 133 ( 1-3 ) : 231-245 ( 2005 ) [公元25年] Makoto Tatsuta公司 , 格里戈里造币厂 :
用置换变换证明二阶强正规化。 Ann.纯粹应用。 日志。 136 ( 1-2 ) : 134-155 ( 2005 ) 【c7】 格里戈里造币厂 :
简单公式的剪切消除 PA公司 ε。 沃尔利克 2005 : 159-169 2003 [公元24年] 格里戈里造币厂 , 达科·萨雷纳克 :
指数ε演算的完备性。 架构(architecture)。 数学。 日志。 42 ( 7 ) : 617-625 ( 2003 ) [公元23年] 格里戈里造币厂 :
利用偏导数证明ε替换的终止性。 理论。 计算。 科学。 303 ( 1 ) : 187-213 ( 2003 ) 2001 [公元22年] 格里戈里造币厂 :
直觉谓词逻辑的插值定理。 Ann.纯粹应用。 日志。 113 ( 1-3 ) : 225-242 ( 2001 ) 2000 [公元21年] 格里戈里造币厂 :
有限和无限导数的约简。 Ann.纯粹应用。 日志。 104 ( 1-3 ) : 167-188 ( 2000 ) [公元20年] Toshiyasu Arai公司 , 格里戈里造币厂 :
公理逻辑证明的扩展范式定理。 理论。 计算。 科学。 232 ( 1-2 ) : 121-132 ( 2000 )
1990 – 1999
1999 [公元19年] 塞缪尔·巴斯 , 格里戈里造币厂 :
直觉主义逻辑中分离和存在性质的复杂性。 Ann.纯粹应用。 日志。 99 ( 1-3 ) : 93-104 ( 1999 ) [公元18年] 格里戈里造币厂 :
用选择公理对简单类型理论进行删减。 J.塞姆。 日志。 64 ( 2 ) : 479-485 ( 1999 ) 1998 [公元17年] 格里戈里造币厂 :
直觉线性逻辑中的正规演绎。 架构(architecture)。 数学。 日志。 37 ( 5-6 ) : 415-425 ( 1998 ) [公元16年] 格里戈里造币厂 :
线性Lambda-项和自然演绎。 Stud Logica公司 60 ( 1 ) : 209-231 ( 1998 ) 1997 [j15] 格里戈里造币厂 :
序列和削减指标体系。 J.菲洛斯。 日志。 26 ( 6 ) : 671-696 ( 1997 ) 【c6】 格里戈里造币厂 :
存在实例化和强规范化。 LFCS公司 1997 : 258-265 【c5】 格里戈里造币厂 :
自然演绎的三个方面。 表格 1997 : 16-30 1996 [公元14年] 格里戈里造币厂 , 谢尔盖·图派洛 , 威尔弗里德·巴赫霍尔茨 :
用于初等分析的Epsilon替代方法。 架构(architecture)。 数学。 日志。 35 ( 2 ) : 103-130 ( 1996 ) [j13] 格里戈里造币厂 :
Epsilong替换方法的强终止。 J.塞姆。 日志。 61 ( 4 ) : 1193-1205 ( 1996 ) 1993 [公元12年] 格里戈里造币厂 :
逻辑导数的一种正规形式意味着算术导数的一种正规形式。 Ann.纯粹应用。 日志。 62 ( 1 ) : 65-79 ( 1993 ) [j11] 格里戈里造币厂 :
一阶线性逻辑的分解演算。 J.日志。 语言信息。 2 ( 1 ) : 59-83 ( 1993 ) 【c4】 格里戈里造币厂 :
非经典逻辑中分解方法的策略(摘要)。 库尔特·哥德尔座谈会 1993 : 62 【c3】 格里戈里造币厂 :
直觉逻辑的解决策略。 北大西洋公约组织 1993 : 289-311 1992 [j10] 格里戈里造币厂 :
直觉命题演算子类的复杂性。 比特币 32 ( 1 ) : 64-69 ( 1992 ) 1991 [公元9年] 格里戈里造币厂 , 塔内尔·塔米特 :
浓缩分离完成关联逻辑:计算机辅助证明。 J.自动化。 原因。 7 ( 4 ) : 587-596 ( 1991 ) [j8] 格里戈里造币厂 :
1925-1969年苏联的证明理论。 J.塞姆。 日志。 56 ( 2 ) : 385-424 ( 1991 ) [第2页] 格里戈里造币厂 , 恩恩·图古 :
编程系统PRIZ。 波罗的海计算机科学 1991 : 1-17 [第1页] 格里戈里造币厂 , 简·M·史密斯 , 恩恩·图古 :
一些声明性语言的类型理论语义。 波罗的海计算机科学 1991 : 18-32 1990 [j7] 格里戈里造币厂 , 恩恩·图古 :
编辑。 J.日志。 程序。 9 ( 2&3 ) : 139-140 ( 1990 ) [j6] 格里戈里造币厂 , 恩恩·图古 :
命题逻辑程序设计与Priz系统。 J.日志。 程序。 9 ( 2&3 ) : 179-193 ( 1990 ) [电子1] 根据Martin-Löf , 格里戈里造币厂 :
COLOG-88,计算机逻辑国际会议,苏联塔林,1988年12月,会议记录。 计算机科学课堂讲稿 417, 施普林格 1990 ,国际标准图书编号 3-540-52335-9 [目录]
1980 – 1989
1989 [j5] 格里戈里造币厂 :
可证明可实现性的完整性。 圣母院J.正式日志。 30 ( 三 ) : 420-441 ( 1989 ) 1988 【j4】 格里戈里造币厂 , 恩恩·图古 :
编程系统PRIZ。 J.塞姆。 计算。 5 ( 三 ) : 359-375 ( 1988 ) 【c2】 格里戈里造币厂 :
Gentzen型系统和解析规则。 第一部分命题逻辑。 计算机逻辑会议 1988 : 198-231 1987 [j3] 格里戈里造币厂 , 恩恩·图古 :
勘误:声明性语言的语义。 信息处理。 莱特。 25 ( 2 ) : 139 ( 1987 ) [c1] 格里戈里造币厂 :
逻辑程序设计的一些形式化系统。 FCT公司 1987 : 318-322 1986 [注2] 格里戈里造币厂 , 恩恩·图古 :
声明语言的语义。 信息处理。 莱特。 23 ( 三 ) : 147-151 ( 1986 ) 1982 [j1] 格里戈里造币厂 , 恩恩·图古 :
程序结构综合的合理性。 科学。 计算。 程序。 2 ( 三 ) : 215-240 ( 1982 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)