×
作者ID: walukiewicz-chrzaszcz.daria公司“Walukiewicz-Chrząszcz,Daria”最近发表的zbMATH文章
发布日期: Daria Walukiewicz-Chrząszcz;Daria Walukiewicz-Chrzaszcz公司
外部链接: MGP公司
已编制索引的文档: 8出版物自2003年起
合著者: 4位合著者具有7联合出版物
37位合作作者

按年份列出的出版物

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

按年份列出的引文