×
作者ID: 图图.ionut最近的zbMATH文章由“Ţuţu,Ionu \355;”撰写
发布日期: Ţuţu,伊奥努;图图,Ionut;Ţuţu、Ionut
已编制索引的文档: 15出版物自2011年起
2作为编辑的贡献
合著者: 9合著者具有14联合出版物
127位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

12出版物有被引用28中的次20文件 引用人 年份
关于结构化规范的代数。 Zbl 1252.68199号
拉兹万·迪亚科内斯库;Ţuţu,伊奥努
9
2011
抽象结构化规范的参数化。 Zbl 1358.68201号
Ţuţu,伊奥努
3
2014
构建行为规范的基础。 Zbl 1434.68305号
拉兹万·迪亚科内斯库;Ţuţu,Ionuţ
3
2014
混合动力学一阶逻辑的Birkhoff完备性。 Zbl 1468.03033号
Găină,丹尼尔;Ţuţu,伊奥努
2
2019
从传统逻辑编程到机构相关逻辑编程。 Zbl 1380.68089号
Ţuţu,伊奥努;何塞·路易斯·费亚代罗
2
2017
行动者网络逻辑:两阶段约束混合方法。 Zbl 1423.68048号
何塞·路易斯·费亚代罗;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇
2
2019
行动者网络的逻辑:约束杂交的案例研究。 Zbl 1423.68049号
何塞·费亚德罗;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇
2
2018
面向服务的逻辑编程。 Zbl 1448.68205号
图图,Ionut;何塞·路易斯·费亚迪罗
1
2015
重新审视Herbrand定理的制度方法。 Zbl 1433.03166号
Ţuţu、Ionut;何塞·路易斯·费亚代罗
1
2015
代数开发技术的最新趋势。2014年9月4日至7日,第22届国际研讨会,WADT 2014,罗马尼亚西奈亚。修改选定的论文。 Zbl 1327.68013号
1
2015
结构性制度的同构。 Zbl 1284.68417号
Ţuţu,伊奥努
1
2013
通过类型化模式进行动态重新配置。 Zbl 1521.68037号
Ţuţu,伊奥努;克劳迪娅·埃琳娜·奇里;何塞·路易斯·费亚代罗
1
2021
通过类型化模式进行动态重新配置。 Zbl 1521.68037号
Ţuţu,伊奥努;克劳迪娅·埃琳娜·奇里;何塞·路易斯·费亚代罗
1
2021
混合动力学一阶逻辑的Birkhoff完备性。 Zbl 1468.03033号
戈因纳,丹尼尔;Ţuţu,伊奥努
2
2019
行动者网络逻辑:两阶段约束混合方法。 Zbl 1423.68048号
何塞·路易斯·费亚代罗;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇
2
2019
行动者网络的逻辑:一个约束杂交的案例研究。 Zbl 1423.68049号
何塞·费亚德罗;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇
2
2018
从传统逻辑编程到独立于机构的逻辑编程。 Zbl 1380.68089号
Ţuţu,伊奥努;何塞·路易斯·费亚代罗
2
2017
面向服务的逻辑编程。 Zbl 1448.68205号
图图,Ionut;何塞·路易斯·费亚迪罗
1
2015
重新审视赫布兰德定理的制度方法。 Zbl 1433.03166号
Ţuţu、Ionut;何塞·路易斯·费亚代罗
1
2015
代数开发技术的最新趋势。2014年9月4日至7日,第22届国际研讨会,WADT 2014,罗马尼亚西奈亚。修改选定的论文。 Zbl 1327.68013号
1
2015
抽象结构化规范的参数化。 Zbl 1358.68201号
Ţuţu,伊奥努
3
2014
构建行为规范的基础。 兹比尔1434.68305
拉兹万·迪亚科内斯库;Ţuţu,伊奥努
3
2014
结构性制度的同构。 Zbl 1284.68417号
Ţuţu,伊奥努
1
2013
关于结构化规范的代数。 Zbl 1252.68199号
拉兹万·迪亚科内斯库;Ţuţu,伊奥努
9
2011

按年份列出的引文