编辑配置文件(在新选项卡中打开) 乔治·贾帕里泽 合著者距离 作者ID: 日本象鼻虫 发布日期: 乔治·贾帕里泽;贾帕里泽,G。 外部链接: 管理程序 已编制索引的文档: 47出版物自1994年以来 合著者: 2合著者具有2联合出版物 37位合作作者 全部的 前5名合著者 41 单作者的 三 詹布尔·盖吉利亚 1 迪克·乔恩。 1 奥拉迪奥·法迪兰。 1 比卡尔·拉米哈内 1 斯特凡·谢勒 1 范·艾因霍温,N。 全部的 前5名系列 6 纯逻辑与应用逻辑年鉴 4 计算机科学中的逻辑方法 三 理论计算机科学 三 信息与计算 三 逻辑与计算杂志 三 格鲁吉亚科学院公报 三 Logicheskie Issledovaniya逻辑 2 符号逻辑杂志 2 圣母院形式逻辑杂志 2 数学逻辑档案 2 ACM计算逻辑汇刊 2 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 1 现代物理快报A 1 国际现代物理杂志A 1 国际理论物理杂志 1 控制论学报 1 Studia Logica公司 1 应用数学快报 1 IGPL逻辑杂志 全部的 前5名领域 43 数学逻辑和基础(03-XX) 18 计算机科学(68至XX) 11 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 量子理论(81-XX) 1 特殊功能(33至XX) 1 近似和展开(41至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用307中的次72文件 引用人▼ 年份▼ 可证明性的逻辑。 兹伯利0915.03019 乔治·贾帕里泽;迪克·德·乔恩 31 1998 可计算性逻辑简介。 Zbl 1028.03025号 乔治·贾帕里泽 30 2003 循环演算和抽象资源语义介绍。 Zbl 1113.03023号 乔治·贾帕里泽 17 2006 最初是游戏语义。 Zbl 1171.03015号 乔治·贾帕里泽 16 2009 从真理到可计算性。一、。 兹伯利1094.03019 乔治·贾帕里泽 13 2006 交互式图灵约简的逻辑。 Zbl 1161.03015号 乔治·贾帕里泽 13 2007 命题层次上可计算逻辑的直观片段。 Zbl 1143.03014号 乔治·贾帕里泽 13 2007 可计算逻辑:一种形式化的交互理论。 Zbl 1266.03046号 乔治·贾帕里泽 13 2006 循环演算加深。 Zbl 1170.03028号 乔治·贾帕里泽 13 2008 从真实性到可计算性。二、。 Zbl 1118.03021号 乔治·贾帕里泽 12 2007 可计算逻辑中的顺序运算符。 Zbl 1161.03016号 乔治·贾帕里泽 12 2008 命题可计算逻辑。一、。 Zbl 1367.03056号 乔治·贾帕里泽 12 2006 命题可计算逻辑。二、。 Zbl 1367.03057号 乔治·贾帕里泽 11 2006 算法约简的许多概念和两种逻辑。 Zbl 1162.03016号 乔治·贾帕里泽 10 2009 面向基于可计算逻辑的应用理论。 Zbl 1201.03055号 乔治·贾帕里泽 9 2010 可计算性逻辑中的切换运算符。 Zbl 1209.03024号 乔治·贾帕里泽 8 2011 直观的可计算逻辑。 Zbl 1120.03019号 乔治·贾帕里泽 8 2007 构建系统的逻辑基础。 Zbl 1256.03066号 乔治·贾帕里泽 6 2012 竖琴入门。一、。 Zbl 1243.03075号 乔治·贾帕里泽 6 2011 从可计算性逻辑中的公式到结果。 Zbl 1218.03026号 乔治·贾帕里泽 6 2011 通过循环演算驯服可计算逻辑中的递归。二、。 Zbl 1323.03021号 乔治·贾帕里泽 6 2013 通过循环演算驯服可计算逻辑中的递归。一、。 Zbl 1298.03068号 乔治·贾帕里泽 6 2013 可计算逻辑分支递归的新面貌。 Zbl 1259.03045号 乔治·贾帕里泽 5 2012 线性逻辑语言的构造性游戏语义。 兹伯利0882.03057 乔治·贾帕里泽 5 1997 分离基本循环的基本逻辑。 Zbl 1241.03025号 乔治·贾帕里泽 4 2012 竖琴入门。三、。 Zbl 1303.03089号 乔治·贾帕里泽 4 2014 竖琴入门。二、。 Zbl 1343.03045号 乔治·贾帕里泽 4 2016 (Pi_1)-保守逻辑算术完备性的一个简单证明。 Zbl 0822.03013号 乔治·贾帕里泽 4 1994 基本任务的命题逻辑。 Zbl 1015.03027号 乔治·贾帕里泽 2 2000 基本循环演算I:平行连接词和选择连接词。 Zbl 1513.03075号 乔治·贾帕里泽 2 2018 基于元素的循环演算。二: 选择量词。 Zbl 1494.03075号 乔治·贾帕里泽 1 2021 任务的逻辑。 Zbl 1013.03017号 乔治·贾帕里泽 1 2002 线性逻辑语言的任务语义。 Zbl 0990.03049号 贾帕里泽,G。 1 2001 关于无竞赛游戏基本命题逻辑的初步结果。 Zbl 1032.03514号 贾帕里泽,G。 1 2002 关于无竞赛游戏基本谓词逻辑的初步结果。 Zbl 1032.03515号 贾帕里泽,G。 1 2002 2020年可计算性逻辑基础。 Zbl 1513.03064号 乔治·贾帕里泽 1 2020 关于大质量Yang-Mills场的有效场论的重整化性。 Zbl 1260.81167号 J·盖吉利亚。;贾帕里泽,G。 1 2012 在可计算逻辑的系统CL12上。 Zbl 1448.03049号 乔治·贾帕里泽 1 2015 建立你自己的口琴。二: 稳健。 Zbl 1445.03066号 乔治·贾帕里泽 1 2016 初等基础循环微积分。二: 选择量词。 Zbl 1494.03075号 乔治·贾帕里泽 1 2021 2020年可计算性逻辑基础。 Zbl 1513.03064号 乔治·贾帕里泽 1 2020 基本循环演算I:平行连接词和选择连接词。 Zbl 1513.03075号 乔治·贾帕里泽 2 2018 竖琴入门。二、。 Zbl 1343.03045号 乔治·贾帕里泽 4 2016 建立你自己的清晰算法。二: 稳健。 Zbl 1445.03066号 乔治·贾帕里泽 1 2016 在可计算逻辑的系统CL12上。 Zbl 1448.03049号 乔治·贾帕里泽 1 2015 竖琴入门。三、。 Zbl 1303.03089号 乔治·贾帕里泽 4 2014 通过循环演算驯服可计算逻辑中的递归。二、。 Zbl 1323.03021号 乔治·贾帕里泽 6 2013 通过循环演算驯服可计算逻辑中的递归。一、。 Zbl 1298.03068号 乔治·贾帕里泽 6 2013 构建系统的逻辑基础。 Zbl 1256.03066号 乔治·贾帕里泽 6 2012 可计算逻辑分支递归的新面貌。 Zbl 1259.03045号 乔治·贾帕里泽 5 2012 分离基本循环的基本逻辑。 Zbl 1241.03025号 乔治·贾帕里泽 4 2012 杨美尔大质量场有效场理论的可重整化性。 Zbl 1260.81167号 J·盖吉利亚。;Japaridze,G。 1 2012 可计算性逻辑中的切换运算符。 Zbl 1209.03024号 乔治·贾帕里泽 8 2011 竖琴入门。一、。 Zbl 1243.03075号 乔治·贾帕里泽 6 2011 从公式到可计算逻辑中的电路。 Zbl 1218.03026号 乔治·贾帕里泽 6 2011 面向基于可计算逻辑的应用理论。 Zbl 1201.03055号 乔治·贾帕里泽 9 2010 一开始是游戏语义。 Zbl 1171.03015号 乔治·贾帕里泽 16 2009 算法约简的许多概念和两种逻辑。 Zbl 1162.03016号 乔治·贾帕里泽 10 2009 循环演算加深。 Zbl 1170.03028号 乔治·贾帕里泽 13 2008 可计算逻辑中的顺序运算符。 Zbl 1161.03016号 乔治·贾帕里泽 12 2008 交互式图灵约简的逻辑。 兹比尔1161.03015 乔治·贾帕里泽 13 2007 命题层次上可计算逻辑的直观片段。 Zbl 1143.03014号 乔治·贾帕里泽 13 2007 从真理到可计算性。二、。 Zbl 1118.03021号 乔治·贾帕里泽 12 2007 直观的可计算逻辑。 Zbl 1120.03019号 乔治·贾帕里泽 8 2007 循环演算和抽象资源语义介绍。 Zbl 1113.03023号 乔治·贾帕里泽 17 2006 从真理到可计算性。一、。 Zbl 1094.03019号 乔治·贾帕里泽 13 2006 可计算逻辑:一种形式化的交互理论。 Zbl 1266.03046号 乔治·贾帕里泽 13 2006 命题可计算逻辑。一、。 Zbl 1367.03056号 乔治·贾帕里泽 12 2006 命题可计算逻辑。二、。 Zbl 1367.03057号 乔治·贾帕里泽 11 2006 可计算性逻辑简介。 Zbl 1028.03025号 乔治·贾帕里泽 30 2003 任务的逻辑。 兹伯利1013.03017 乔治·贾帕里泽 1 2002 关于无竞赛游戏基本命题逻辑的初步结果。 Zbl 1032.03514号 贾帕里泽,G。 1 2002 关于无竞赛游戏基本谓词逻辑的初步结果。 Zbl 1032.03515号 贾帕里泽,G。 1 2002 线性逻辑语言的任务语义。 Zbl 0990.03049号 Japaridze,G。 1 2001 基本任务的命题逻辑。 Zbl 1015.03027号 乔治·贾帕里泽 2 2000 可证明性的逻辑。 Zbl 0915.03019号 乔治·贾帕里泽;迪克·德·乔恩 31 1998 线性逻辑语言的构造性游戏语义。 Zbl 0882.03057号 乔治·贾帕里泽 5 1997 (Pi_1)-保守逻辑算术完备性的一个简单证明。 兹伯利0822.03013 乔治·贾帕里泽 4 1994 所有引用出版物 前5名被引用出版物 全部的 前5名65位作者引用 19 乔治·贾帕里泽 8 阿尔伯特·维瑟 5 Kurahashi、Taishi 4 Joost J.乔斯特恩。 三 徐文燕 2 列夫·贝克莱米舍夫。 2 拉斯穆斯·布兰克 2 曼弗雷德·布罗伊 2 迪克·乔恩。 2 刘三阳 1 谢尔盖·阿特莫夫 1 马修·史蒂文·鲍尔 1 Jan A.Bergstra。 1 贝尔科娃,玛尔塔 1 费利克斯·布 1 伯恩德·布尔特 1 马丁·丘吉尔 1 莱昂纳多·纳加米·科雷格里亚诺 1 达斯,阿努帕姆 1 安东尼·迪·弗兰科 1 杜孟 1 阿里·埃纳亚特 1 Fermüller,Christian G。 1 朋友,米歇尔 1 保罗·金蒂里尼 1 罗伯特·伊恩·戈德布拉特 1 沃尔克·哈尔巴赫 1 乔尔·戴维·哈姆金斯 1 郝云歌 1 劳埃德·亨伯斯通 1 托马斯·伊卡德(Thomas F.III) 1 我是宣城 1 穆罕默德·哈立德 1 木本菊池 1 哈鲁卡·高古尔 1 吉姆·莱尔德 1 比卡尔·拉米哈内 1 科恩Lefen 1 塔德乌兹·利塔克 1 Löwe,Benedikt公司 1 栾俊峰 1 马修·马里恩 1 盖·安德鲁·麦库斯克 1 伊利亚·梅日罗夫 1 佛朗哥·蒙塔格纳 1 埃琳娜·诺吉纳 1 大川,Yuya 1 Onoprienko,Anastasiya A。 1 松武公园 1 Duccio Pianigiani 1 阿尔班·蓬塞 1 瞿美霞 1 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 1 布莱恩·雷恩 1 赖斯(Alex A.Rice)。 1 海尔格·吕克特 1 Shirmohammadzadeh Maleki,法特梅 1 Daan J.C.斯塔特。 1 卢茨斯特拉汉堡 1 谢凯利(Székely,Gergely) 1 乔治·图拉基斯。 1 尼古拉·韦雷沙金(Nikolay K.Vereshchagin)。 1 布鲁诺·惠特尔 1 北海山田 1 朱大明 全部的 前5名28篇连载文章中引用 13 纯逻辑与应用逻辑年鉴 6 信息与计算 5 圣母院形式逻辑杂志 4 应用逻辑杂志 4 符号逻辑述评 三 符号逻辑杂志 三 Studia Logica公司 三 理论计算机科学 2 俄罗斯数学调查 2 计算机与系统科学杂志 2 数学逻辑档案 2 泛逻辑 2 计算机科学中的逻辑方法 1 哲学逻辑杂志 1 美国数学学会会刊 1 逻辑科公报 1 逻辑历史与哲学 1 计算机科学与技术杂志 1 国际近似推理杂志 1 应用数学快报 1 Indagationes Mathematicae公司。新系列 1 应用非经典逻辑杂志 1 数学逻辑季刊(MLQ) 1 斯博尼克:数学 1 逻辑与逻辑哲学 1 ACM计算逻辑汇刊 1 数学科学研究 1 Logicheskie Issledovaniya逻辑 全部的 前5名在7个字段中引用 69 数学逻辑和基础(03-XX) 20 计算机科学(68至XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 历史和传记(01-XX) 1 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文