编辑配置文件(在新选项卡中打开) 弗拉维恩·布鲁瓦特 合著者距离 作者ID: 克罗地亚 发布日期: 弗拉维恩·布鲁瓦特 编入索引的文档: 11出版物自2013年起,包括1个附加arXiv预打印 合著者: 11位合著者具有7联合出版物 212合著作者 全部的 前5名合著者 4 单作者的 2 乌戈·达尔拉戈 2 阿加提·埃尔鲁 2 朱利奥·曼佐内托 2 多梅尼科·鲁阿波洛 2 塔尔莫乌斯塔卢 1 马可·加博阿迪 1 胜本,Shin-ya 1 迪伦·麦克德莫特 1 多米尼克·A·乌节。 1 米歇尔·帕加尼 1 安德鲁·波隆斯基 系列 三 计算机科学中的逻辑方法 领域 8 数学逻辑和基础(03-XX) 8 计算机科学(68至XX) 三 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用27中的次20文件 引用人▼ 年份▼ 通过分级将效果和系数结合起来。 Zbl 1361.68037号 马可·加博阿迪;胜本,Shin-ya;多米尼克·乌节;佛罗里达州布鲁瓦特;塔尔莫乌斯塔卢 12 2016 关于\(mathcal{H}^*\)模型的特征。 Zbl 1394.03022号 弗拉维恩·布鲁瓦特 4 2014 莫里斯观察理论的新结果:分离不可分割的事物的好处。 Zbl 1387.03011号 弗拉维恩·布鲁瓦特;朱利奥·曼佐内托;安德鲁·波隆斯基;多梅尼科·鲁阿波洛 三 2016 工作中的关系图模型。 Zbl 1448.68207号 佛罗里达州布鲁瓦特;朱利奥·曼佐内托;多梅尼科·鲁阿波洛 2 2018 建模在线性逻辑的关系语义中起着协同作用。 Zbl 1373.03127号 弗拉维恩·布鲁瓦特;米歇尔·帕加尼 2 2015 资源lambda演算在其关系模型中是短视的。 Zbl 1381.03021号 弗拉维恩·布鲁瓦特 2 2013 关于(mathcal H^\ast)模型的表征:语义方面。 Zbl 1338.03013号 弗拉维恩·布鲁瓦特 1 2016 关于高阶概率次递归。 Zbl 1486.68038号 弗拉维恩·布鲁瓦特;乌戈·达尔拉戈;赫鲁,阿加西 1 2017 工作中的关系图模型。 Zbl 1448.68207号 弗拉维恩·布鲁瓦特;朱利奥·曼佐内托;多梅尼科·鲁阿波洛 2 2018 关于高阶概率次递归。 Zbl 1486.68038号 弗拉维恩·布鲁瓦特;乌戈·达尔拉戈;阿加提·埃尔鲁 1 2017 通过分级将效果和系数结合起来。 兹比尔1361.68037 马可·加博阿迪;胜本,Shin-ya;多米尼克·乌节;弗拉维恩·布鲁瓦特;塔尔莫乌斯塔卢 12 2016 莫里斯观察理论的新结果:分离不可分割的事物的好处。 Zbl 1387.03011号 弗拉维恩·布鲁瓦特;朱利奥·曼佐内托;安德鲁·波隆斯基;多梅尼科·鲁阿波洛 三 2016 关于(mathcal H^\ast)模型的表征:语义方面。 Zbl 1338.03013号 弗拉维恩·布鲁瓦特 1 2016 线性逻辑的关系语义中的建模系数。 Zbl 1373.03127号 弗拉维恩·布鲁瓦特;米歇尔·帕加尼 2 2015 关于\(mathcal{H}^*\)模型的特征。 Zbl 1394.03022号 弗拉维恩·布鲁瓦特 4 2014 资源lambda演算在其关系模型中是短视的。 Zbl 1381.03021号 弗拉维恩·布鲁瓦特 2 2013 所有引用出版物 前5名被引用出版物 全部的 前5名38位作者引用 4 朱利奥·曼佐内托 4 多米尼克·A·乌节。 2 弗拉维恩·布鲁瓦特 2 哈雷III伊德斯 2 托马斯·埃尔哈德 2 阿德里安·瓜托 2 贝内代托·恩特里吉拉 2 胜本,Shin-ya 2 乔治·梅特卡夫 2 安德鲁·波隆斯基 2 多梅尼科·鲁阿波洛 2 西蒙·桑斯基 2 范古尔,塞缪尔·雅各布 1 萨姆森·艾布拉姆斯基 1 丹尼尔·艾哈曼 1 Alcántara,Maigan S.da S。 1 里卡多·比安奇尼 1 拉斐尔·克鲁比莱 1 弗朗西斯科·达尼诺 1 弗雷德里克·达尔奎斯特 1 乌戈·达尔拉戈 1 西尔维奥·德·梅洛 1 威尔逊·罗莎·德·奥利维拉 1 蒂亚戈·迪亚斯 1 Fukihara,Yōji 1 马可·加博阿迪 1 保拉·吉安尼尼 1 阿加提·埃尔鲁 1 本杰明·穆恩 1 内维斯、雷纳托 1 米歇尔·帕加尼 1 弗兰克,普芬宁 1 普拉克斯马,克拉斯 1 佐藤,铁杉 1 尼希尔·沙阿 1 克里斯汀·塔森 1 菲利普·李·沃德勒 1 埃琳娜·祖卡 4篇连载文章中引用 4 计算机科学中的逻辑方法 1 模糊集与系统 1 理论计算机科学 1 函数编程杂志 在3个字段中引用 16 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 按年份列出的引文