编辑配置文件(在新选项卡中打开) Krzysztof Rafal公寓 合著者距离 作者ID: 克日什托夫·拉法尔上校 发布日期: Krzysztof R.阿普特。;Krysztof R.阿普特。;阿普特,K.R。;科兹兹托夫·阿普特;Krzysztof Rafal公寓 更多。。。较少的 外部链接: MGP公司·维基数据·接地·ID参考 已编制索引的文档: 120出版物自1972年以来,包括8本书 12作为编辑的贡献 合著者: 68合著者具有94联合出版物 1841合著作者 全部的 前5名合著者 37 单作者的 11 奥尔德罗格(Ernst-Rüdiger Olderog) 11 苏尼尔·西蒙 6 多米尼克·沃伊特扎克 4 雅各布斯·W·德·巴克。 4 伊万格洛斯·马卡基斯 4 佩德雷希·迪诺 三 德波尔(Frank S。 三 尼西姆·弗朗西兹 三 弗朗西丝卡·罗西 三 吉多·谢弗 三 乔纳森·亚历山大 2 马克·贝泽姆 2 霍华德·布莱尔。 2 罗兰·博尔。 2 巴特·德·凯伊泽 2 大卫·格罗西 2 埃琳娜·马尔奇奥里 2 V.Wiktor马雷克 2 Meertens,Lambert G.L.T。 2 埃里克·蒙弗罗伊 2 戈登·普洛金(Gordon D.Plotkin)。 2 阿米尔·普努利 2 莫娜·拉恩 2 乔纳森·斯塔维 2 范德霍克,威比 2 克里斯汀·布伦特·维纳布尔 2 安德烈亚斯·维策尔 2 Peter Zoeteweij 1 雷切尔·本·埃利亚胡 1 Jan A.Bergstra。 1 卢克·布热 1 布兰德,塞巴斯蒂安 1 克莱蒙特博士。 1 文森特·科尼策 1 斯蒂恩·德古乌 1 卡罗尔·德尔波特 1 卡罗尔·德尔波特 1 Doets,Kees(多伊人、基伊人) 1 阿兰察Estévez-Fernández 1 弗朗索瓦·法赫斯 1 毛里齐奥·加布里埃利 1 埃里希·格拉德尔 1 郭明宇 1 Hagiya,Masami 1 C.A.R.Tony Hoare 1 Shmuel Katz 1 扬·威廉·克鲁普 1 英格丽·路易杰斯 1 卡图西亚帕拉米德斯 1 Jean-Luc Richier先生 1 简·J·M·M·鲁顿。 1 吉多·谢弗 1 安德烈亚·谢尔夫 1 亚历山大·施里伊弗 1 Ehsan Shoja 1 Sietsma,地板 1 简·格奥尔格·斯玛斯 1 佩特尔·塞雷迪 1 尼科·M·特姆。 1 特辛克,弗兰克 1 特鲁什琴斯基,米洛斯奥 1 范·埃姆德·博阿斯(Peter van Emde Boas) 1 范·埃姆登(Maarten H.van Emden)。 1 罗伯特·范·鲁伊 1 约瑟夫·瓦恩查 1 C.F.M.弗默伦。 1 沃伦、大卫·斯科特 1 安杰洛,威灵 全部的 前5名系列 5 理论计算机科学 5 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 4 程序设计语言与系统学报 三 计算机协会杂志 三 逻辑程序设计杂志 三 计算的形式方面 三 人工智能研究杂志 三 《科学公报》、《数学科学》、《天文学与物理学》 2 CWI季度 2 欧洲理论计算机科学协会公报 2 逻辑程序设计理论与实践 1 信息学报 1 信息处理信件 1 以色列数学杂志 1 数理逻辑年鉴 1 加拿大数学杂志 1 信息和控制 1 国际博弈论杂志 1 计算机与系统科学杂志 1 符号逻辑杂志 1 运筹学数学 1 SIAM计算机杂志 1 合成 1 理论与决策 1 计算机程序设计科学 1 符号计算杂志 1 信息与计算 1 逻辑与计算杂志 1 分布式计算 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 约束条件 1 计算机基础理论 1 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)联合公报。系列:计算机科学 1 国际博弈论综述 1 ACM计算逻辑事务 1 计算机科学研究生论文 1 计算机科学课堂讲稿 1 北约ASI系列。F.系列计算机与系统科学 1 理论经济学学士期刊 1 逻辑与游戏中的文本 1 游戏 1 ACM图书 1 计算机科学课文 全部的 前5名领域 100 计算机科学(68至XX) 28 博弈论、经济学、金融和其他社会和行为科学(91-XX) 24 数学逻辑和基础(03-XX) 12 一般性和全局性主题;集合(00-XX) 7 历史和传记(01-XX) 三 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 1 有序,格,有序代数结构(06-XX) 1 数论(11-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 97出版物有被引用1150次903文件 引用人▼ 年份▼ 对逻辑程序设计理论的贡献。 Zbl 0483.68004号 Krzysztof R.阿普特。;范·埃姆登,M.H。 101 1982 霍尔的逻辑十年:调查——第1部分。 Zbl 0471.68006号 Krzysztof R.阿普特。 96 1981 约束编程原理。 Zbl 1187.68132号 科兹兹托夫·阿普特 87 2003 逻辑编程。 Zbl 0900.68136号 Krzysztof R.阿普特。 77 1990 通信顺序过程的证明系统。 Zbl 0468.68023号 Krzysztof R.阿普特。;尼西姆·弗朗西兹;Willem P.De Roever。 58 1980 逻辑编程与否定:一项调查。 Zbl 0942.68518号 Krzysztof R.阿普特。;罗兰·博尔。 53 1994 可数不确定性和随机分配。 Zbl 0627.68015号 阿普特,K.R。;普洛金,G.D。 49 1986 验证顺序和并发程序。第三次修订版。 Zbl 1183.68361号 Krzysztof R.阿普特。;德波尔(Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog) 42 2009 评估分布式编程语言的公平性。 Zbl 0659.68023号 Krzysztof R.阿普特。;尼西姆·弗朗西兹;Shmuel Katz 42 1988 计算机科学家的博弈论讲座。 Zbl 1214.91003号 32 2011 关于公平的证明规则和转换。 Zbl 0512.68014号 Krysztof R.阿普特。;E.-R.奥尔德罗。 29 1983 非周期项目。 Zbl 0744.68034号 Krzysztof R.阿普特。;马克·贝泽姆 24 1991 验证顺序和并发程序。 Zbl 0733.68053号 Krysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 24 1991 关于终止纯Prolog程序的推理。 Zbl 0786.68021号 Krzysztof R.阿普特。;佩德雷希·迪诺 23 1993 霍尔逻辑十年:一项调查。二: 非决定论。 Zbl 0523.68015号 Krzysztof R.阿普特。 21 1984 约束传播的本质。 Zbl 0930.68164号 Krzysztof R.阿普特。 18 1999 使用Eclipse进行约束逻辑编程。 Zbl 1119.68044号 Krzysztof R.阿普特。 16 2007 库克的可数不确定性之旅(扩展抽象)。 Zbl 0465.68002号 Krysztof R.阿普特。;普洛金,G.D。 16 1981 逻辑程序的循环检查机制分析。 Zbl 0741.68027号 罗兰·博尔。;Krzysztof R.阿普特。;扬·威廉·克鲁普 14 1991 验证顺序和并发程序。第2版。 Zbl 0869.68064号 Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 12 1997 通信顺序过程的证明系统的形式化证明。 兹比尔0503.68021 Krzysztof R.阿普特。 12 1983 无名格罗夫斯机制。 Zbl 1259.68191号 郭明宇;伊万格洛斯·马卡基斯;Krzysztof R.阿普特。;文森特·科尼策 11 2013 分层程序完美模型的算术分类。 兹比尔0699.68112 Krzysztof R.阿普特。;霍华德·布莱尔。 11 1990 重新审查公平终止——有延迟。 Zbl 0542.68015号 Krysztof R.阿普特。;A.普努利。;J.斯塔维。 10 1984 通过竞争产品在社交网络中传播。 Zbl 1233.91226号 Krzysztof R.阿普特。;伊万格洛斯·马卡基斯 10 2011 分布式闲聊的认知协议。 Zbl 1483.68361号 Krzysztof R.阿普特。;大卫·格罗西;范德霍克,威比 10 2016 理性化的许多方面。 Zbl 1169.91318号 Krzysztof R.阿普特。 9 2007 二阶算术及相关主题。 Zbl 0299.02066号 Krysztof R.阿普特。;马雷克·W·。 9 1974 分布式认知八卦协议的验证。 Zbl 1444.68255号 Krzysztof R.阿普特。;多米尼克·沃伊特扎克 9 2018 逻辑编程范式。25年展望。 Zbl 0919.00027号 8 1999 作为约束编程语言的一阶逻辑。 Zbl 1023.03018号 阿普特,K.R。;C.F.M.弗默伦。 8 2002 递归断言和并行程序。 Zbl 0436.68009号 Krzysztof R.阿普特。 7 1981 CSP程序的两个范式定理。 Zbl 0631.68026号 阿普特,K.R。;卢克·布热;克莱蒙特博士。 7 1987 两个流言蜚语什么时候是一样的? Zbl 1415.68215号 科兹兹托夫·阿普特;大卫·格罗西;范德霍克,威比 7 2018 霍尔十年的逻辑,一项调查。 Zbl 0426.68004号 Krysztof R.阿普特。 6 1979 关于序言程序的推理:从模式到类型再到断言。 Zbl 0816.68046号 Krzysztof R.阿普特。;埃琳娜·马尔奇奥里 6 1994 图上的协调对策(扩展抽象)。 Zbl 1404.91040号 Krzysztof R.阿普特。;莫娜·拉恩;圭多·施费尔;苏尼尔·西蒙 6 2014 单调性在战略博弈的认识论分析中的作用。 兹比尔1311.91042 Krzysztof R.阿普特。;乔纳森·兹韦斯珀。 6 2010 霍尔50年的逻辑。 Zbl 1427.68008号 Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 6 2019 弱非循环博弈的分类。 Zbl 1284.91012号 Krzysztof R.阿普特。;苏尼尔·西蒙 6 2012 具有竞争产品的社交网络。 Zbl 1284.91488号 Krzysztof R.阿普特。;伊万格洛斯·马卡基斯 6 2014 图上的协调游戏。 Zbl 1415.91063号 Krzysztof R.阿普特。;巴特·德·凯伊泽;莫娜·拉恩;圭多·施费尔;苏尼尔·西蒙 6 2017 SLDNF分辨率的新定义。 Zbl 0795.68039号 Krzysztof R.阿普特。;Doets,Kees(多伊人、基伊人) 5 1994 社交网络游戏。 Zbl 1310.91127号 苏尼尔·西蒙;Krzysztof R.阿普特。 5 2015 更正了分布式终止算法的证明。 Zbl 0599.68017号 Krzysztof R.阿普特。 5 1986 弱非循环博弈的分类。 Zbl 1380.91013号 Krzysztof R.阿普特。;苏尼尔·西蒙 5 2015 关于公平的证明规则(扩展摘要)。 Zbl 0481.68021号 Krzysztof R.阿普特。;Ernst-Ruediger Olderog 5 1982 战略游戏的自私程度。 Zbl 1297.91059号 Krzysztof R.阿普特。;吉多·谢弗 5 2014 PASCAL程序的语义和证明理论。 Zbl 0353.68036号 Krysztof R.阿普特。;德巴克尔,J.W。 4 1977 递归断言是不够的,还是不够? Zbl 0393.68016号 Krzysztof R.阿普特。;Jan A.Bergstra。;Meertens,Lambert G.L.T。 4 1979 关于流言逻辑的可判定性。 Zbl 1484.68226号 Krzysztof R.阿普特。;多米尼克·沃伊特扎克 4 2016 实时时钟与虚拟时钟。 Zbl 0566.68021号 Krzysztof R.阿普特。;Jean-Luc Richier先生 4 1985 实现并行程序公平性假设的转换。 Zbl 0558.68015号 Krysztof R.阿普特。;E.-R.奥尔德罗。 4 1984 有向图上的协调对策。 Zbl 1484.91076号 Krzysztof R.阿普特。;苏尼尔·西蒙;多米尼克·沃伊特扎克 4 2016 八卦逻辑中的常识。 Zbl 1483.68362号 Krzysztof R.阿普特。;多米尼克·沃伊特扎克 4 2017 流言蜚语逻辑中的公开问题。 Zbl 07450017号 Krzysztof R.阿普特。;多米尼克·沃伊特扎克 4 2019 约束规划的一种证明论观点。 兹比尔0947.68021 Krzysztof R.阿普特。 三 1998 递归程序方案的有限中间断言系统的完备性。 Zbl 0446.68009号 Krzysztof R.阿普特。;Meertens,Lambert G.L.T。 三 1980 面向对象程序的验证:转换方法。 Zbl 1245.68062号 Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 三 2012 整数区间上算术约束的比较研究。 Zbl 1196.68223号 Krzysztof R.阿普特。;Peter Zoeteweij 三 2004 递归程序的模块化验证。 Zbl 1241.68047号 Krzysztof R.阿普特。;德波尔(Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog) 三 2009 Prolog的一阶内置函数的声明性方法。 Zbl 0815.68035号 Krzysztof R.阿普特。;埃琳娜·马尔奇奥里;卡图西亚帕拉米德斯 三 1994 整数区间上的算术约束分析。 Zbl 1125.68109号 Krzysztof R.阿普特。;Peter Zoeteweij 三 2007 具有任意策略集的战略博弈合理性的实证分析。 Zbl 1286.03051号 乔纳森·泽维斯(Jonathan A.Zvesper)。;Krzysztof R.阿普特。 三 2010 重新审查公平终止——有延迟。 Zbl 0533.68010号 Krysztof R.阿普特。;A.普努利。;J.斯塔维。 三 1982 CSP分布式终端约定建模。 Zbl 0536.68018号 Krzysztof R.阿普特。;尼西姆·弗朗西兹 三 1984 H指数很容易操作。 Zbl 1394.68193号 巴特·德·凯伊泽;Krzysztof R.阿普特。 三 2013 分层程序的完美模型的算法分类。 Zbl 0726.68040号 Krzysztof R.阿普特。;霍华德·布莱尔。 三 1991 约束传播的粗略指南。 Zbl 0961.68123号 Krzysztof R.阿普特。 2 1999 并发系统的逻辑和模型。(1984年10月8日至19日在法国La Colle-sur-Loop举行的北约并行系统逻辑和模型高级研究所会议录)。 Zbl 0566.00027号 2 1985 证明CSP程序的正确性-教程。 Zbl 0566.68018号 Krzysztof R.阿普特。 2 1985 while程序活性属性的语法指导分析。 Zbl 0591.68016号 Krzysztof R.阿普特。;卡罗尔·德尔波特 2 1986 联盟组建的通用方法。 Zbl 1190.91011号 Krzysztof R.阿普特。;安德烈亚斯·维策尔 2 2009 约束编程原理。2003年精装版再版。 Zbl 1187.68131号 科兹兹托夫·阿普特 2 2009 \(\omega)-分析层次结构中的模型。 Zbl 0252.02045号 Krysztof R.阿普特。 2 1972 使用时间逻辑的间歇性断言方法的公理化(扩展抽象)。 兹伯利0522.68035 Krzysztof R.阿普特。;卡罗尔·德尔波特 2 1983 证明通用Prolog程序的终止。 Zbl 1494.68038号 Krzysztof R.阿普特。;佩德雷希·迪诺 2 1991 用延迟声明验证逻辑程序。 Zbl 1496.68082号 Krzysztof R.阿普特。;英格丽·路易杰斯 2 1995 通过博弈论的视角实现自我稳定。 Zbl 1462.68011号 Krzysztof R.阿普特。;Ehsan Shoja 2 2018 具有强制性产品选择的社交网络游戏。 Zbl 1464.91064号 Krzysztof R.阿普特。;苏尼尔·西蒙 2 2013 从混沌迭代到约束传播。 Zbl 1401.68282号 Krzysztof R.阿普特。 2 1997 公式作为程序。 Zbl 0945.68024号 Krzysztof R.阿普特。;马克·贝泽姆 1 1999 小型有限域约束传播算法的自动生成。 Zbl 0957.68102号 Krzysztof R.阿普特。;埃里克·蒙弗罗伊 1 1999 解释约束编程。 Zbl 1171.68412号 Krzysztof R.阿普特。 1 2005 软约束和图形游戏中最优性概念的比较。 Zbl 1162.68648号 Krzysztof R.阿普特。;弗朗西丝卡·罗西;维纳布尔,K.布伦特 1 2008 逻辑编程中的元变量,或赞扬矛盾语法。 Zbl 0865.68024号 Krzysztof R.阿普特。;雷切尔·本·埃利亚胡 1 1996 程序验证和序言。 Zbl 0844.68078号 Krzysztof R.阿普特。 1 1995 逻辑和纯PROLOG程序的模块化终止证明。 Zbl 0849.68011号 Krzysztof R.阿普特。;佩德雷希·迪诺 1 1994 一阶逻辑的指称语义。 Zbl 0983.68113号 Krzysztof R.阿普特。 1 2000 Alma-0中的编程,或命令式和声明式编程已协调。 Zbl 1013.68064号 Krzysztof R.阿普特。;安德烈亚·谢尔夫 1 2000 具有交互结构的游戏中的策略消除。 Zbl 1196.91019号 安德烈亚斯·维策尔;Krzysztof R.阿普特。;乔纳森·泽维斯(Jonathan A.Zvesper)。 1 2009 约束编程被视为基于规则的编程。 Zbl 1066.68518号 Krzysztof R.阿普特。;埃里克·蒙弗罗伊 1 2001 指称语义练习。 兹伯利0337.68011 Krysztof R.阿普特。;德巴克尔,J.W。 1 1976 CSP程序的静态分析。 Zbl 0558.68012号 Krzysztof R.阿普特。 1 1984 游戏和互动的新视角。根据2007年2月5日至7日在荷兰阿姆斯特丹举行的学术讨论会上的发言选出的论文。 Zbl 1238.91004号 1 2008 计算机科学家关于具有完美信息的有限长游戏的教程。 Zbl 1484.91040号 Krzysztof R.阿普特。;苏尼尔·西蒙 1 2021 评估霍尔逻辑的成功和影响。 Zbl 1507.68081号 Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 1 2021 计算机科学家关于具有完美信息的有限长游戏的教程。 Zbl 1484.91040号 Krzysztof R.阿普特。;苏尼尔·西蒙 1 2021 评估霍尔逻辑的成功和影响。 Zbl 1507.68081号 Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 1 2021 霍尔50年的逻辑。 Zbl 1427.68008号 Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 6 2019 流言蜚语逻辑中的公开问题。 Zbl 07450017号 Krzysztof R.阿普特。;多米尼克·沃伊特扎克 4 2019 分布式认知八卦协议的验证。 Zbl 1444.68255号 Krzysztof R.阿普特。;多米尼克·沃伊特扎克 9 2018 两个流言蜚语什么时候是一样的? Zbl 1415.68215号 科兹兹托夫·阿普特;大卫·格罗西;范德霍克,威比 7 2018 通过博弈论的视角实现自我稳定。 Zbl 1462.68011号 Krzysztof R.阿普特。;Ehsan Shoja 2 2018 图上的协调游戏。 Zbl 1415.91063号 Krzysztof R.阿普特。;巴特·德·凯伊泽;莫娜·拉恩;圭多·施费尔;苏尼尔·西蒙 6 2017 八卦逻辑中的常识。 Zbl 1483.68362号 Krzysztof R.阿普特。;多米尼克·沃伊特扎克 4 2017 分布式闲聊的认知协议。 Zbl 1483.68361号 Krzysztof R.阿普特。;大卫·格罗西;范德霍克,威比 10 2016 关于流言逻辑的可判定性。 Zbl 1484.68226号 Krzysztof R.阿普特。;多米尼克·沃伊特扎克 4 2016 有向图上的协调对策。 Zbl 1484.91076号 Krzysztof R.阿普特。;苏尼尔·西蒙;多米尼克·沃伊特扎克 4 2016 社交网络游戏。 Zbl 1310.91127号 苏尼尔·西蒙;Krzysztof R.阿普特。 5 2015 弱非循环对策的一种分类。 兹比尔1380.91013 Krzysztof R.阿普特。;苏尼尔·西蒙 5 2015 图上的协调博弈(扩展摘要)。 Zbl 1404.91040号 Krzysztof R.阿普特。;莫娜·拉恩;圭多·施费尔;苏尼尔·西蒙 6 2014 具有竞争产品的社交网络。 Zbl 1284.91488号 Krzysztof R.阿普特。;伊万格洛斯·马卡基斯 6 2014 战略游戏的自私程度。 Zbl 1297.91059号 Krzysztof R.阿普特。;吉多·谢弗 5 2014 无名格罗夫斯机制。 Zbl 1259.68191号 郭明宇;伊万格洛斯·马卡基斯;Krzysztof R.阿普特。;文森特·科尼策 11 2013 H指数很容易操作。 Zbl 1394.68193号 巴特·德·凯伊泽;Krzysztof R.阿普特。 三 2013 具有强制性产品选择的社交网络游戏。 Zbl 1464.91064号 Krzysztof R.阿普特。;苏尼尔·西蒙 2 2013 弱非循环博弈的分类。 Zbl 1284.91012号 Krzysztof R.阿普特。;苏尼尔·西蒙 6 2012 面向对象程序的验证:转换方法。 Zbl 1245.68062号 Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 三 2012 计算机科学家的博弈论讲座。 Zbl 1214.91003号 32 2011 通过竞争产品在社交网络中传播。 Zbl 1233.91226号 Krzysztof R.阿普特。;伊万格洛斯·马卡基斯 10 2011 单调性在战略博弈认知分析中的作用。 Zbl 1311.91042号 Krzysztof R.阿普特。;乔纳森·泽维斯(Jonathan A.Zvesper)。 6 2010 具有任意策略集的战略博弈合理性的实证分析。 Zbl 1286.03051号 乔纳森·泽维斯(Jonathan A.Zvesper)。;Krzysztof R.阿普特。 三 2010 验证顺序和并发程序。第三次修订版。 Zbl 1183.68361号 Krzysztof R.阿普特。;德波尔(Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog) 42 2009 递归程序的模块化验证。 Zbl 1241.68047号 Krzysztof R.阿普特。;德波尔(Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog) 三 2009 联盟组建的通用方法。 Zbl 1190.91011号 Krzysztof R.阿普特。;安德烈亚斯·维策尔 2 2009 约束编程原理。2003年精装版再版。 Zbl 1187.68131号 科兹兹托夫·阿普特 2 2009 具有交互结构的游戏中的策略消除。 Zbl 1196.91019号 安德烈亚斯·威策尔;Krzysztof R.阿普特。;乔纳森·兹韦斯珀。 1 2009 软约束和图形游戏中最优性概念的比较。 Zbl 1162.68648号 Krzysztof R.阿普特。;弗朗西丝卡·罗西;维纳布尔,K.布伦特 1 2008 游戏和互动的新视角。根据2007年2月5日至7日在荷兰阿姆斯特丹举行的学术讨论会上的发言选出的论文。 Zbl 1238.91004号 1 2008 使用Eclipse进行约束逻辑编程。 Zbl 1119.68044号 Krzysztof R.阿普特。 16 2007 理性化的许多方面。 Zbl 1169.91318号 Krzysztof R.阿普特。 9 2007 整数区间上的算术约束分析。 Zbl 1125.68109号 Krzysztof R.阿普特。;Peter Zoeteweij 三 2007 解释约束编程。 Zbl 1171.68412号 Krzysztof R.阿普特。 1 2005 整数区间上算术约束的比较研究。 Zbl 1196.68223号 Krzysztof R.阿普特。;Peter Zoeteweij 三 2004 约束编程原理。 Zbl 1187.68132号 科兹兹托夫·阿普特 87 2003 作为约束编程语言的一阶逻辑。 Zbl 1023.03018号 阿普特,K.R。;C.F.M.弗默伦。 8 2002 约束编程被视为基于规则的编程。 Zbl 1066.68518号 Krzysztof R.阿普特。;埃里克·蒙弗罗伊 1 2001 一阶逻辑的指称语义。 Zbl 0983.68113号 Krzysztof R.阿普特。 1 2000 Alma-0中的编程,或命令式和声明式编程已协调。 Zbl 1013.68064号 Krzysztof R.阿普特。;安德烈亚·谢尔夫 1 2000 约束传播的本质。 兹伯利0930.68164 Krzysztof R.阿普特。 18 1999 逻辑编程范式。25年展望。 Zbl 0919.00027号 8 1999 约束传播的粗略指南。 Zbl 0961.68123号 Krzysztof R.阿普特。 2 1999 公式作为程序。 Zbl 0945.68024号 Krzysztof R.阿普特。;马克·贝泽姆 1 1999 小型有限域约束传播算法的自动生成。 兹比尔0957.68102 Krzysztof R.阿普特。;埃里克·蒙弗罗伊 1 1999 约束规划的一种证明论观点。 兹比尔0947.68021 Krzysztof R.阿普特。 三 1998 验证顺序和并发程序。第2版。 Zbl 0869.68064号 Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 12 1997 从混沌迭代到约束传播。 Zbl 1401.68282号 Krzysztof R.阿普特。 2 1997 逻辑编程中的元变量,或赞扬矛盾语法。 Zbl 0865.68024号 Krzysztof R.阿普特。;雷切尔·本·埃利亚胡 1 1996 用延迟声明验证逻辑程序。 Zbl 1496.68082号 Krzysztof R.阿普特。;英格丽·路易杰斯 2 1995 程序验证和序言。 Zbl 0844.68078号 Krzysztof R.阿普特。 1 1995 逻辑编程与否定:一项调查。 Zbl 0942.68518号 Krzysztof R.阿普特。;罗兰·博尔。 53 1994 关于序言程序的推理:从模式到类型再到断言。 Zbl 0816.68046号 Krzysztof R.阿普特。;埃琳娜·马尔奇奥里 6 1994 SLDNF分辨率的新定义。 Zbl 0795.68039号 Krzysztof R.阿普特。;Doets,Kees(多伊人、基伊人) 5 1994 Prolog的一阶内置函数的声明性方法。 Zbl 0815.68035号 Krzysztof R.阿普特。;埃琳娜·马尔奇奥里;卡图西亚帕拉米德斯 三 1994 逻辑和纯PROLOG程序的模块化终止证明。 Zbl 0849.68011号 Krzysztof R.阿普特。;佩德雷希·迪诺 1 1994 关于终止纯Prolog程序的推理。 Zbl 0786.68021号 Krzysztof R.阿普特。;佩德雷希·迪诺 23 1993 非周期项目。 Zbl 0744.68034号 Krzysztof R.阿普特。;马克·贝泽姆 24 1991 验证顺序和并发程序。 Zbl 0733.68053号 Krysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 24 1991 逻辑程序的循环检查机制分析。 Zbl 0741.68027号 罗兰·博尔。;Krzysztof R.阿普特。;扬·威廉·克鲁普 14 1991 分层程序的完美模型的算法分类。 Zbl 0726.68040号 Krzysztof R.阿普特。;霍华德·布莱尔。 三 1991 证明通用Prolog程序的终止。 Zbl 1494.68038号 Krzysztof R.阿普特。;佩德雷希·迪诺 2 1991 逻辑编程。 Zbl 0900.68136号 Krzysztof R.阿普特。 77 1990 分层程序的完美模型的算法分类。 Zbl 0699.68112号 Krzysztof R.阿普特。;霍华德·布莱尔。 11 1990 评估分布式编程语言的公平性。 Zbl 0659.68023号 Krzysztof R.阿普特。;尼西姆·弗朗西兹;Shmuel Katz 42 1988 CSP程序的两个范式定理。 Zbl 0631.68026号 阿普特,K.R。;吕克布盖;克莱蒙特博士。 7 1987 可数不确定性和随机分配。 Zbl 0627.68015号 阿普特,K.R。;普洛金,G.D。 49 1986 更正了分布式终止算法的证明。 Zbl 0599.68017号 Krzysztof R.阿普特。 5 1986 while程序活性属性的语法指导分析。 Zbl 0591.68016号 Krzysztof R.阿普特。;卡罗尔·德尔波特 2 1986 实时时钟与虚拟时钟。 Zbl 0566.68021号 Krzysztof R.阿普特。;Jean-Luc Richier先生 4 1985 并发系统的逻辑和模型。(1984年10月8日至19日在法国La Colle-sur-Loop举行的北约并行系统逻辑和模型高级研究所会议录)。 Zbl 0566.00027号 2 1985 证明CSP程序的正确性-教程。 Zbl 0566.68018号 Krzysztof R.阿普特。 2 1985 霍尔逻辑十年:一项调查。二: 非决定论。 Zbl 0523.68015号 Krzysztof R.阿普特。 21 1984 重新审查公平终止——有延迟。 Zbl 0542.68015号 Krysztof R.阿普特。;A.普努利。;J.斯塔维。 10 1984 实现并行程序公平性假设的转换。 Zbl 0558.68015号 Krysztof R.阿普特。;E.-R.奥尔德罗。 4 1984 CSP分布式终端约定建模。 Zbl 0536.68018号 Krzysztof R.阿普特。;尼西姆·弗朗西兹 三 1984 CSP程序的静态分析。 Zbl 0558.68012号 Krzysztof R.阿普特。 1 1984 关于公平的证明规则和转换。 Zbl 0512.68014号 Krysztof R.阿普特。;E.-R.奥尔德罗。 29 1983 通信顺序过程的证明系统的形式化证明。 Zbl 0503.68021号 Krzysztof R.阿普特。 12 1983 使用时态逻辑对间歇断言方法进行公理化(扩展抽象)。 Zbl 0522.68035号 Krzysztof R.阿普特。;卡罗尔·德尔波特 2 1983 对逻辑程序设计理论的贡献。 Zbl 0483.68004号 Krzysztof R.阿普特。;范·埃姆登,M.H。 101 1982 关于公平的证明规则(扩展摘要)。 Zbl 0481.68021号 Krzysztof R.阿普特。;Ernst-Ruediger Olderog 5 1982 重新审查公平终止——有延迟。 Zbl 0533.68010号 Krysztof R.阿普特。;A.普努利。;J.斯塔维。 三 1982 霍尔的逻辑十年:调查——第1部分。 Zbl 0471.68006号 Krzysztof R.阿普特。 96 1981 库克的可数不确定性之旅(扩展抽象)。 Zbl 0465.68002号 Krysztof R.阿普特。;普洛金,G.D。 16 1981 递归断言和并行程序。 Zbl 0436.68009号 Krzysztof R.阿普特。 7 1981 通信顺序过程的证明系统。 Zbl 0468.68023号 Krzysztof R.阿普特。;尼西姆·弗朗西兹;Willem P.De Roever。 58 1980 递归程序方案的有限中间断言系统的完备性。 Zbl 0446.68009号 Krzysztof R.阿普特。;Meertens,Lambert G.L.T。 三 1980 霍尔逻辑的十年,一项调查。 兹比尔0426.68004 Krysztof R.阿普特。 6 1979 递归断言是不够的,还是不够? Zbl 0393.68016号 Krzysztof R.阿普特。;Jan A.Bergstra。;Meertens,Lambert G.L.T。 4 1979 PASCAL程序的语义和证明理论。 Zbl 0353.68036号 Krysztof R.阿普特。;德巴克尔,J.W。 4 1977 指称语义练习。 Zbl 0337.68011号 Krysztof R.阿普特。;德巴克尔,J.W。 1 1976 二阶算术及相关主题。 Zbl 0299.02066号 Krysztof R.阿普特。;马雷克·W·。 9 1974 \(\omega)-分析层次结构中的模型。 Zbl 0252.02045号 Krysztof R.阿普特。 2 1972 所有引用出版物 前5名被引用出版物 全部的 前5名1263位作者引用 27 Krzysztof Rafal公寓 17 德波尔(Frank S。 13 Jan A.Bergstra。 13 维姆·赫瑟林克。 13 V.Wiktor马雷克 12 杰弗里·布赖恩·雷梅尔 11 德拉本特,Włodzimierz 11 尼西姆·弗朗西兹 10 托马斯·亨辛格(Thomas A.Henzinger)。 9 恩里科·蓬泰利 8 伊芙琳娜·拉姆 8 阿尔贝托·佩特罗西 8 毛里齐奥·普罗埃蒂 7 阿夫尼,盖伊 7 约翰·多夫兰 7 埃纳尔·布罗赫·约翰森 7 奥尔德罗格(Ernst-Rüdiger Olderog) 7 Owe、Olaf 7 卡图西亚帕拉米德斯 7 Doron A.Peled。 7 苏尼尔·西蒙 7 约翰·V·塔克。 7 汉斯·皮特·范·迪特马什 6 安东尼奥·布罗吉 6 帕特里克·库索特 6 阿戈斯蒂诺·多维尔 6 安德烈亚·福米萨诺 6 赫尼奇,卜拉欣 6 斯特芬·Hölldobler 6 Shmuel Katz 6 乔治·列维 6 保罗·梅洛 6 尼禄,阿尼尔 6 马里奥·罗德里格斯-阿塔莱霍 6 塔里木,S.Armagan 6 特鲁什琴斯基,米洛斯奥 6 多米尼克·沃伊特扎克 5 马西莫·贝内雷塞蒂 5 斯特凡妮娅·科斯坦蒂尼 5 雅各布斯·W·德·巴克。 5 丹尼尔·德尔尔巴 5 法比奥·菲奥拉万蒂 5 奥尔纳·格伦伯格 5 Joost N.角。 5 尼古拉·利昂 5 约翰·朱尔斯·查尔斯 5 法比奥·莫加维罗 5 阿尔班·蓬塞 5 安德鲁·威廉·罗斯科 5 吉安弗兰科·罗西 5 罗西、罗伯托 5 马丁·斯特芬 5 范格拉贝克、罗伯特·扬 4 美国,皮埃尔 4 回来了,拉尔夫·约翰 4 卢克·布热 4 文森特·科尼策 4 拉希亚库索 4 丹尼·德·施雷耶 4 托马斯·艾特 4 罗伯托·贾科巴齐 4 帕斯卡·希茨勒 4 C.A.R.Tony Hoare 4 卢克·杰林 4 西古尔德·梅尔达尔 4 戴维·诺曼(David A.Naumann)。 4 史蒂文·普雷斯特维奇。 4 拉希姆·拉梅扎尼安 4 法布里齐奥·里古齐 4 帕诺斯·朗多吉安尼 4 卢梭,路易斯·马汀 4 吉多·谢弗 4 范德霍克,威比 4 威廉·扬·范霍夫 4 莫西·亚亚科夫·瓦尔迪 三 马尔科·阿尔贝蒂 三 法哈德·阿尔巴 三 埃夫提米奥斯·阿萨纳西奥 三 克里斯蒂安·贝西尔 三 尼科尔·比多特 三 伊曼纽尔·德·安吉利斯 三 斯蒂恩·德古乌 三 威廉·鲍尔·德·罗弗 三 Jean-Paul,Delahaye 三 马克·德纳克 三 皮埃尔·德兰萨特 三 哈利勒·杰卢尔 三 冯、袁 三 马尔文·加廷格 三 迈克尔·盖尔芬德 三 斯特凡诺·瓜兰迪 三 郭明宇 三 斯特凡·哈勒斯特德 三 Joseph Yehuda Halpern 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 帕斯卡尔·朱利安·伊兰佐 三 扬·威廉·克鲁普 三 Phokion G.科莱蒂斯。 三 Jean-Louis拉塞兹 三 Michael Leuschel先生 …还有1163位作者 全部的 前5名116篇连载文章中引用 167 理论计算机科学 40 计算的形式方面 37 信息与计算 36 人工智能 29 数学与人工智能年鉴 29 逻辑程序设计理论与实践 27 信息处理信件 23 约束条件 22 信息学报 22 计算机与系统科学杂志 15 分布式计算 12 纯逻辑与应用逻辑年鉴 11 自动推理杂志 11 逻辑与代数程序设计杂志 10 程序设计中的逻辑和代数方法杂志 8 新一代计算 8 计算机与运筹学 8 运筹学年鉴 7 模糊集与系统 7 信息科学 7 ACM计算逻辑事务 6 符号计算杂志 6 游戏与经济行为 6 欧洲运筹学杂志 6 应用非经典逻辑杂志 6 应用逻辑杂志 6 计算机科学中的逻辑方法 5 比特币 5 国际博弈论杂志 5 Studia Logica公司 5 RAIRO公司。Informatique Théorique et Applications公司 5 系统设计中的形式化方法 4 计算机程序设计科学 4 机器学习 4 数学逻辑档案 4 计算机基础理论 4 萨达纳 三 离散应用数学 三 Automatica公司 三 MSCS公司。计算机科学中的数学结构 三 启发式杂志 三 组合优化期刊 三 高阶和符号计算 三 计算机科学前沿 2 计算机与数学及其应用 2 物理A 2 经济理论杂志 2 哲学逻辑杂志 2 运筹学数学 2 合成 2 理论与决策 2 计算机科学与技术杂志 2 算法学 2 国际并行程序设计杂志 2 国际近似推理杂志 2 吉泰。实验与理论人工智能杂志 2 经济学快报 2 应用数学建模 2 国际计算机数学杂志 2 计算系统理论 2 CEJOR公司。中欧运筹学杂志 2 国际博弈论综述 2 4OR(或) 2 工程优化 2 游戏 2 动态游戏和应用 2 欧洲计算优化杂志 2 计算机科学评论 1 经典引力和量子引力 1 以色列数学杂志 1 数学物理杂志 1 数学笔记 1 Semesterberichte数学 1 应用数学与计算 1 计算 1 数学经济学杂志 1 苏联数学杂志 1 符号逻辑杂志 1 数学系统理论 1 网络 1 圣母院形式逻辑杂志 1 编程和计算机软件 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 逻辑科公报 1 数学社会科学 1 伊朗数学学会公报 1 社会选择与福利 1 国际智能系统杂志 1 SIAM离散数学杂志 1 实时系统 1 自动化和远程控制 1 工程、通信和计算中的应用代数 1 逻辑、语言与信息杂志 1 国际计算机与系统科学杂志 1 经济理论 1 函数编程杂志 1 人工智能研究杂志 1 计算与数学组织理论 1 美国计算机学会模型和计算机仿真汇刊 1 并行算法与应用 …还有16个系列 全部的 前5名在24个字段中引用 742 计算机科学(68至XX) 184 数学逻辑和基础(03-XX) 101 博弈论、经济学、金融和其他社会和行为科学(91-XX) 76 运筹学、数学规划(90-XX) 16 组合数学(05-XX) 12 系统论;控制(93至XX) 9 有序,格,有序代数结构(06-XX) 6 范畴理论;同调代数(18-XX) 5 历史和传记(01-XX) 5 统计学(62-XX) 5 生物学和其他自然科学(92-XX) 4 量子理论(81-XX) 三 一般代数系统(08-XX) 三 数值分析(65-XX) 2 一般性和全局性主题;集合(00-XX) 2 数论(11-XX) 2 信息与通信理论、电路(94-XX) 1 场论和多项式(12-XX) 1 动力系统和遍历理论(37至XX) 1 一般拓扑结构(54至XX) 1 概率论与随机过程(60-XX) 1 粒子和系统力学(70-XX) 1 光学、电磁理论(78-XX) 1 相对论与引力理论(83至XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.