×

克里斯蒂亚,马克西米利亚诺

作者ID: 克里斯蒂亚·马西米利亚诺“Cristiá,Maximiliano”最近发表的zbMATH文章
发布日期: 克里斯蒂亚,马克西米利亚诺
编入索引的文档: 11出版物自2015年起
合著者: 4位合著者具有11联合出版物
24位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用47中的次14文件 引用人 年份
求解有限集和二元关系上的无量词一阶约束。 Zbl 1468.03009号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
9
2020
限制内涵集的一种判定过程。 Zbl 1496.03041号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
8
2017
Bell-LaPadula安全属性的自动证明。 Zbl 07356979号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
7
2021
有限集合关系代数的集合求解器。 Zbl 1518.68415号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
6
2018
集合、二元关系和部分函数的判定过程。 Zbl 1411.68060号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
5
2016
限制内涵集的自动推理。 Zbl 07432188号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
5
2021
Tokeneer ID站规范的自动验证原型。 兹比尔07461167
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
4
2021
使用集合将部分函数添加到约束逻辑编程中。 Zbl 1379.68053号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西克劳迪娅·弗莱德曼
2015
Bell-LaPadula安全属性的自动证明。 Zbl 07356979号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
7
2021
限制内涵集的自动推理。 Zbl 07432188号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
5
2021
Tokeneer ID站规范的自动验证原型。 兹比尔07461167
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
4
2021
求解有限集和二元关系上的无量词一阶约束。 Zbl 1468.03009号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
9
2020
有限集关系代数的集求解器。 Zbl 1518.68415号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
6
2018
限制内涵集的一种判定过程。 Zbl 1496.03041号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
8
2017
集合、二元关系和部分函数的判定过程。 Zbl 1411.68060号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西
5
2016
使用集合将部分函数添加到约束逻辑编程中。 Zbl 1379.68053号
克里斯蒂亚,马克西米利亚诺Gianfranco罗西克劳迪娅·弗莱德曼
2015

按年份列出的引文