乔治·贾帕里泽
人员信息
附属： 美国宾夕法尼亚州维拉诺瓦大学
优化列表
2020年–今天
2021 
[公元38年] 乔治·贾帕里泽 :
基本循环演算II：选择量词。 日志。 J.IGPL公司 29 ( 5 ) : 769-782 ( 2021 ) [i31] 乔治·贾帕里泽 , 比卡尔·拉米哈内 :
简言之，循环演算。 CoRR公司 abs/2108.12552 ( 2021 ) 2020 [j37] 乔治·贾帕里泽 :
可计算逻辑基础。 拍打 7 ( 6 ) : 1115-1176 ( 2020 )
2010 – 2019
2019 [i30] 乔治·贾帕里泽 :
可计算逻辑：给凯撒属于凯撒的东西。 CoRR公司 abs/1902.05172 ( 2019 ) [i29] 乔治·贾帕里泽 :
基本循环演算II：选择量词。 CoRR公司 abs/1902.07123 ( 2019 ) [第28条] 乔治·贾帕里泽 :
可计算逻辑基础。 CoRR公司 abs/1904.01431 ( 2019 ) 2018 [公元36年] 乔治·贾帕里泽 :
基本循环演算I：平行连接词和选择连接词。 拍打 5 ( 1 ) : 367-388 ( 2018 ) 2017 [i27] 乔治·贾帕里泽 :
基本循环演算I：平行连接词和选择连接词。 CoRR公司 abs/1707.04823 ( 2017 ) 2016 [j35] 乔治·贾帕里泽 :
建立你自己的口琴I。 日志。 计算方法。 科学。 12 ( 三 ) ( 2016 ) [公元34年] 焦尔吉·贾普里泽 :
建立你自己的第二乐章。 日志。 方法计算。 科学。 12 ( 三 ) ( 2016 ) [公元33年] 乔治·贾帕里泽 :
交响乐入门II。 Inf.计算。 247 : 290-312 ( 2016 ) [i26] 乔治·贾帕里泽 :
可计算逻辑综述。 CoRR公司 abs/1612.04513 ( 2016 ) 2015 [公元32年] 乔治·贾帕里泽 :
在可计算逻辑的系统CL12上。 日志。 方法计算。 科学。 11 ( 三 ) ( 2015 ) 2014 [公元31年] 乔治·贾帕里泽 :
第三交响乐入门。 Ann.纯粹应用。 日志。 165 ( 1 ) : 241-252 ( 2014 ) 2013 【j30】 乔治·贾帕里泽 :
通过循环演算驯服可计算逻辑中的递归，第一部分。 架构（architecture）。 数学。 日志。 52 ( 1-2个 ) : 173-212 ( 2013 ) [公元29年] 乔治·贾帕里泽 :
通过循环演算驯服可计算逻辑中的递归，第二部分。 架构（architecture）。 数学。 日志。 52 ( 1-2个 ) : 213-259 ( 2013 ) [i25] 乔治·贾帕里泽 :
关于资源和任务。 CoRR公司 abs/1312.3372 ( 2013 ) 2012 [公元28年] 乔治·贾帕里泽 
:
分离基本循环的基本逻辑。 Ann.纯粹应用。 日志。 163 ( 三 ) : 377-389 ( 2012 ) [公元27年] 乔治·贾帕里泽 :
可计算逻辑分支递归的新面貌。 申请。 数学。 莱特。 25 ( 11 ) : 1585-1589 ( 2012 ) [公元26年] 乔治·贾帕里泽 :
构建系统的逻辑基础。 J.日志。 计算。 22 ( 三 ) : 605-642 ( 2012 ) 2011 [公元25年] 乔治·贾帕里泽 :
从公式到可计算逻辑中的电路。 日志。 方法计算。 科学。 7 ( 2 ) ( 2011 ) [公元24年] 乔治·贾帕里泽 :
清唱艺术I导论。 Inf.计算。 209 ( 10 ) : 1312-1354 ( 2011 ) [公元23年] 乔治·贾帕里泽 :
可计算性逻辑中的切换运算符。 西奥。 计算。 科学。 412 ( 11 ) : 971-1004 ( 2011 ) [i24] 乔治·贾帕里泽 :
可计算性逻辑分支递归的一个新面貌。 CoRR公司 abs/1102.1054 ( 2011 ) [第23条] 乔治·贾帕里泽 :
通过循环演算驯服可计算逻辑中的递归。 CoRR公司 abs/1105.3853 ( 2011 ) [i22] 乔治·贾帕里泽 :
通过循环演算驯服可计算逻辑中的递归，第二部分。 CoRR公司 abs/1106.3705 ( 2011 ) 2010 [公元22年] 乔治·贾帕里泽 :
面向基于可计算逻辑的应用理论。 J.塞姆。 日志。 75 ( 2 ) : 565-601 ( 2010 ) 【i21】 乔治·贾帕里泽 :
构建系统的逻辑基础。 CoRR公司 abs/1003.0425 ( 2010 ) [i20] 乔治·贾帕里泽 :
清唱艺术I导论。 CoRR公司 腹肌/1003.4719 ( 2010 ) [i19] 乔治·贾帕里泽 :
交响乐入门II。 CoRR公司 abs/1004.3236 ( 2010 ) [i18] 乔治·贾帕里泽 :
分离基本循环的基本逻辑。 CoRR公司 abs/1007.1324 ( 2010 ) [i17] 乔治·贾帕里泽 :
第三交响乐入门。 CoRR公司 abs/1008.0770 ( 2010 )
2000 – 2009
2009 [公元21年] 乔治·贾帕里泽 :
算法约简的许多概念和两种逻辑。 Stud Logica公司 91 ( 1 ) : 1-24 ( 2009 ) [第1页] 乔治·贾帕里泽 :
最初是游戏语义吗？ 游戏：统一逻辑、语言和哲学 2009 : 249-350 [i16] 乔治·贾帕里泽 :
算术。 CoRR公司 abs/0902.2969 ( 2009 ) [i15] 乔治·贾帕里泽 :
可计算性逻辑中的切换运算符。 CoRR公司 abs/0904.3469 ( 2009 ) 2008 [公元20年] 乔治·贾帕里泽 :
可计算逻辑中的顺序运算符。 Inf.计算。 206 ( 12 ) : 1443-1475 ( 2008 ) [公元19年] 乔治·贾帕里泽 :
循环演算深化。 J.日志。 计算。 18 ( 6 ) : 983-1028 ( 2008 ) [第14条] 乔治·贾帕里泽 :
面向基于可计算逻辑的应用理论。 CoRR公司 abs/0805.3521 ( 2008 ) 2007 [公元18年] 焦尔吉·贾普里泽 :
直观的可计算逻辑。 《网络学报》。 18 ( 1 ) : 77-113 ( 2007 ) [公元17年] 乔治·贾帕里泽 :
命题层次上可计算逻辑的直观片段。 Ann.纯粹应用。 日志。 147 ( 三 ) : 187-227 ( 2007 ) [公元16年] 乔治·贾帕里泽 :
交互式图灵约简的逻辑。 J.塞姆。 日志。 72 ( 1 ) : 243-276 ( 2007 ) [公元15年] 乔治·贾帕里泽 :
从真理到可计算性2。 西奥。 计算。 科学。 379 ( 1-2个 ) : 20-52 ( 2007 ) [i13] 乔治·贾帕里泽 :
算法约简的四个概念和两个逻辑。 CoRR公司 abs/0706.0103 ( 2007 ) [i12] 乔治·贾帕里泽 :
循环演算加深。 CoRR公司 腹肌/0709.1308 ( 2007 ) [i11] 乔治·贾帕里泽 :
可计算逻辑中的顺序运算符。 CoRR公司 abs/0712.1345 ( 2007 ) 2006 [公元14年] 乔治·贾帕里泽 :
循环演算和抽象资源语义导论。 J.日志。 计算。 16 ( 4 ) : 489-532 ( 2006 ) [j13] 乔治·贾帕里泽 :
从真理到可计算性I。 西奥。 计算。 科学。 357 ( 1-3 ) : 100-135 ( 2006 ) [公元12年] 乔治·贾帕里泽 :
命题可计算逻辑I。 ACM事务处理。 计算。 日志。 7 ( 2 ) : 302-330 ( 2006 ) [公元11年] 乔治·贾帕里泽 :
命题可计算性逻辑II。 ACM事务处理。 计算。 日志。 7 ( 2 ) : 331-362 ( 2006 ) [i10] 乔治·贾帕里泽 :
命题层次上可计算逻辑的直观片段。 CoRR公司 abs/cs/0602011 ( 2006 ) 2005 [第九章] 乔治·贾帕里泽 :
从真理到可计算性2。 CoRR公司 abs/cs/0501031 ( 2005 ) [i8] 乔治·贾帕里泽 :
最初是游戏语义。 CoRR公司 abs/cs/0507045 ( 2005 ) [i7] 乔治·贾帕里泽 :
交互式图灵约简的逻辑。 CoRR公司 abs/cs/0512100 ( 2005 ) [i6] 乔治·贾帕里泽 :
循环演算和抽象资源语义导论。 CoRR公司 abs/math/0506553 ( 2005 ) 2004 [i5] 焦尔吉·贾普里泽 :
命题可计算逻辑I。 CoRR公司 反恐精英。 洛/0404023 ( 2004 ) [i4] 乔治·贾帕里泽 :
可计算逻辑：一种形式化的交互理论。 CoRR公司 反恐精英。 LO/0404024号 ( 2004 ) [i3] 乔治·贾帕里泽 :
命题可计算逻辑2。 CoRR公司 反恐精英。 LO/0406037号 ( 2004 ) [i2] 乔治·贾帕里泽 :
从真理到可计算性I。 CoRR公司 反恐精英。 LO/0407054 ( 2004 ) [i1] 乔治·贾帕里泽 :
直觉计算逻辑I。 CoRR公司 反恐精英。 LO/0411008号 ( 2004 ) 2003 [公元10年] 乔治·贾帕里泽 :
可计算性逻辑简介。 Ann.纯粹应用。 日志。 123 ( 1-3 ) : 1至99 ( 2003 ) 2002 [公元9年] 乔治·贾帕里泽 :
任务的逻辑。 Ann.纯粹应用。 日志。 117 ( 1-3 ) : 261-293 ( 2002 ) 2000 [j8] 乔治·贾帕里泽 :
基本任务的命题逻辑。 圣母院J.正式日志。 41 ( 2 ) : 171-183 ( 2000 )
1990 – 1999
1997 [j7] 乔治·贾帕里泽 :
线性逻辑语言的构造性游戏语义。 Ann.纯粹应用。 日志。 85 ( 2 ) : 87-156 ( 1997 ) 1994 [j6] 乔治·扎帕里泽 :
算术层次逻辑。 Ann.纯粹应用。 日志。 66 ( 2 ) : 89至112 ( 1994 ) [j5] 乔治·贾帕里泽 :
∏的算术完备性的简单证明 1 -保守性逻辑。 圣母院J.正式日志。 35 ( 三 ) : 346-354 ( 1994 ) 1993 【j4】 乔治·扎帕里泽 :
弱可解释性的广义概念及相应的模态逻辑。 Ann.纯粹应用。 日志。 61 ( 1-2个 ) : 113-160 ( 1993 ) 1991 [j3] 乔治·扎帕里泽 :
带有非模态量词的谓词可证明逻辑。 Stud Logica公司 50 ( 1 ) : 149-160 ( 1991 ) 1990 [注2] 谢尔盖·N·阿特莫夫 , 乔治·扎帕里泽 :
有限克里普克模型和可证明谓词逻辑。 J.塞姆。 日志。 55 ( 三 ) : 1090-1098 ( 1990 ) [j1] 乔治·扎帕里泽 :
可证明的可判定和可枚举谓词逻辑。 螺柱逻辑 49 ( 1 ) : 7-21 ( 1990 )
合著者索引
