编辑配置文件(在新选项卡中打开) Daria Walukiewicz-Chrząszcz 合著者距离 作者ID: walukiewicz-chrzaszcz.daria公司 发布日期: Daria Walukiewicz-Chrząszcz;Daria Walukiewicz-Chrzaszcz公司 外部链接: MGP公司 已编制索引的文档: 8出版物自2003年起 合著者: 4位合著者具有7联合出版物 37位合作作者 合著者 1 单作者的 4 杰切克·克尔兹 三 舒伯特,阿列克西 2 巴威·乌尔兹琴 1 马钦·本克 系列 1 函数编程杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 字段 7 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用13中的次10文件 引用人▼ 年份▼ 结构演算中重写的终止。 Zbl 1062.68069号 Daria Walukiewicz-Chrząszcz 6 2003 限制性阳性定量不是基本的。 Zbl 1434.03021号 舒伯特,阿列克西;巴维尔·乌尔兹琴;Daria Walukiewicz-Chrzaszcz公司 2 2015 Coq中的改写。 Zbl 1186.68234号 杰切克·克尔兹;Daria Walukiewicz-Chrząszcz 1 2007 结构演算中重写的一致性和完整性。 Zbl 1147.68036号 Daria Walukiewicz-Chrząszcz;杰切克·克尔兹 1 2008 结构演算中重写的一致性和完整性。 Zbl 1222.68376号 Daria Walukiewicz-Chrząszcz;杰切克·克尔兹 1 2006 借助一阶直觉逻辑合成函数程序。 Zbl 1387.68061号 马钦·本克;舒伯特,阿列克西;Daria Walukiewicz-Chrzaszcz公司 1 2016 积极量化有多难? Zbl 1367.03021号 舒伯特,阿列克西;巴威·乌尔兹琴;Daria Walukiewicz-Chrząszcz 1 2016 借助一阶直觉逻辑合成函数程序。 Zbl 1387.68061号 马钦·本克;舒伯特,阿列克西;Daria Walukiewicz-Chrzaszcz公司 1 2016 积极量化有多难? Zbl 1367.03021号 舒伯特,阿列克西;巴威·乌尔兹琴;Daria Walukiewicz-Chrząszcz 1 2016 限定的正量化不是基本的。 Zbl 1434.03021号 舒伯特,阿列克西;帕维尔,乌日琴;Daria Walukiewicz-Chrzaszcz公司 2 2015 结构演算中重写的一致性和完整性。 兹比尔1147.68036 Daria Walukiewicz-Chrząszcz;杰切克·克尔兹 1 2008 走向Coq中的重写。 Zbl 1186.68234号 杰切克·克尔兹;Daria Walukiewicz-Chrząszcz 1 2007 结构演算中重写的一致性和完整性。 Zbl 1222.68376号 Daria Walukiewicz-Chrząszcz;杰切克·克尔兹 1 2006 结构演算中重写的终止。 Zbl 1062.68069号 Daria Walukiewicz-Chrząszcz 6 2003 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 三 弗雷德里克·布兰基 三 Jean-Pierre Jouannaud 三 阿尔伯特·鲁比奥 2 舒伯特,阿列克西 2 巴威·乌尔兹琴 1 马丁·邦德。 1 杰斯珀·考克斯 1 库卡斯·扎伊卡 1 安德烈·杜登赫夫纳 1 辛西娅·科普 1 亚当·科普洛夫斯基 1 雅各布·雷霍夫 1 乔纳森·塞尔丁。 1 康拉德·兹达诺夫斯基 5篇连载文章中引用 1 MSCS公司。计算机科学中的数学结构 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 应用逻辑杂志 1 计算机科学中的逻辑方法 在2个字段中引用 9 数学逻辑和基础(03-XX) 6 计算机科学(68至XX) 按年份列出的引文