编辑配置文件(在新选项卡中打开) 吉多·菲奥里诺 合著者距离 作者ID: 菲奥里诺·吉多 发布日期: 吉多·菲奥里诺 已编制索引的文档: 24出版物自1995年起 合著者: 7合著者具有17联合出版物 111位Co-Co作者 全部的 前5名合著者 7 单作者的 14 佛罗伦萨,卡米洛 13 毛罗·法拉利 三 亚历山德罗·阿韦隆 三 乌戈·莫斯卡托 1 阿尔贝托·贝托尼 1 洛丽斯·波萨托 1 尼科尔·塞萨·比安奇 全部的 前5名系列 5 自动推理杂志 三 ACM计算逻辑汇刊 2 信息处理信件 1 信息科学 1 理论计算机科学 1 逻辑与计算杂志 1 应用非经典逻辑杂志 1 数学逻辑季刊(MLQ) 1 IGPL逻辑杂志 1 计算机基础理论 领域 20 数学逻辑和基础(03-XX) 14 计算机科学(68至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用54中的次30文件 引用人▼ 年份▼ fCube:直觉命题逻辑的有效证明者。 Zbl 1306.68141号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 7 2010 具有子公式性质和最小深度反模型的直觉命题逻辑的无收缩线性深度序列计算。 Zbl 1314.03015号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 7 2013 直觉命题表的简化规则。 兹比尔1352.03015 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 5 2012 直觉逻辑和模态逻辑中析取性质的复杂性。 Zbl 1367.03019号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 5 2005 三个可插入命题中间逻辑的空间效率决策过程。 Zbl 1020.03023号 吉多·菲奥里诺 4 2002 命题直觉逻辑的优化技术及其实现。 Zbl 1157.68060号 亚历山德罗·阿韦隆;吉多·菲奥里诺;乌戈·莫斯卡托 4 2008 命题直觉逻辑的表演算,对嵌套蕴涵进行了精细处理。 兹比尔1187.03011 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 三 2009 利用模函数连接词的等价查询进行有效学习。 Zbl 0875.68732号 阿尔贝托·贝托尼;尼科尔·塞萨·比安奇;吉多·菲奥里诺 三 1995 G3i的终止评估驱动变体。 兹比尔1401.03035 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 三 2013 G3i的评估驱动决策程序。 Zbl 1354.03083号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 三 2015 命题Dummett逻辑的(O(n\log n))-SPACE决策过程。 Zbl 0987.03011号 吉多·菲奥里诺 2 2001 \(\mathcal{BCDL}\):基本的构造性描述逻辑。 Zbl 1197.03027号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 1 2010 表格校准仪PITP的改进。 Zbl 1132.68674号 亚历山德罗·阿韦隆;吉多·菲奥里诺;乌戈·莫斯卡托 1 2007 一种可判定的构造性描述逻辑。 Zbl 1306.68184号 洛丽斯·波萨托;毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 1 2010 具有子公式属性的命题Dummett逻辑的终止计算。 Zbl 1315.03020号 吉多·菲奥里诺 1 2014 JTabWb:用于实现终止序列和tableau计算的Java框架。 Zbl 1373.68364号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 1 2017 具有构造性否定的逻辑的表演算的空间效率实现。 Zbl 1095.68107号 亚历山德罗·阿韦隆;佛罗伦萨,卡米洛;吉多·菲奥里诺;乌戈·莫斯卡托 1 2004 非子句的新表刻画最大SAT问题。 Zbl 1494.03074号 吉多·菲奥里诺 1 2022 非子句表演算MinSat卫星. Zbl 1482.68269号 吉多·菲奥里诺 1 2022 非子句的新表刻画最大SAT问题。 Zbl 1494.03074号 吉多·菲奥里诺 1 2022 非子句表演算MinSat卫星. Zbl 1482.68269号 吉多·菲奥里诺 1 2022 JTabWb:一个Java框架,用于实现终止序列和表演算。 Zbl 1373.68364号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 1 2017 G3i的评估驱动决策程序。 Zbl 1354.03083号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 三 2015 具有子公式属性的命题Dummett逻辑的终止计算。 Zbl 1315.03020号 吉多·菲奥里诺 1 2014 具有子公式性质和最小深度计数器模型的直觉命题逻辑的无收缩线性深度序列演算。 Zbl 1314.03015号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 7 2013 G3i的终止评估驱动变体。 Zbl 1401.03035号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 三 2013 直觉命题表的简化规则。 兹比尔1352.03015 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 5 2012 fCube:直觉命题逻辑的有效证明者。 兹比尔1306.68141 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 7 2010 \(\mathcal{BCDL}\):基本构造描述逻辑。 Zbl 1197.03027号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 1 2010 一种可判定的构造性描述逻辑。 Zbl 1306.68184号 洛丽斯·波萨托;毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 1 2010 命题直觉逻辑的表演算,对嵌套蕴涵进行了精细处理。 Zbl 1187.03011号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 三 2009 命题直觉逻辑的优化技术及其实现。 Zbl 1157.68060号 亚历山德罗·阿韦隆;吉多·菲奥里诺;乌戈·莫斯卡托 4 2008 表格校准仪PITP的改进。 Zbl 1132.68674号 亚历山德罗·阿韦隆;吉多·菲奥里诺;乌戈·莫斯卡托 1 2007 直觉逻辑和模态逻辑中析取性质的复杂性。 Zbl 1367.03019号 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 5 2005 具有构造性否定的逻辑的表演算的空间效率实现。 Zbl 1095.68107号 亚历山德罗·阿韦隆;佛罗伦萨,卡米洛;吉多·菲奥里诺;乌戈·莫斯卡托 1 2004 三个可插入命题中间逻辑的空间效率决策过程。 Zbl 1020.03023号 吉多·菲奥里诺 4 2002 命题Dummett逻辑的(O(n\log n))-SPACE决策过程。 Zbl 0987.03011号 吉多·菲奥里诺 2 2001 利用模函数连接词的等价查询进行有效学习。 Zbl 0875.68732号 阿尔贝托·贝托尼;尼科尔·塞萨·比安奇;吉多·菲奥里诺 三 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名37位作者引用 8 吉多·菲奥里诺 7 佛罗伦萨,卡米洛 6 毛罗·法拉利 三 埃米尔·杰瓦贝克 2 陈志祥 2 罗伊·戴克霍夫 2 萨拉·内格里 1 阿兰萨里、莫奈拉·奥马尔 1 穆罕默德·乌斯曼·阿里 1 卡洛斯·阿雷塞斯 1 亚历山德罗·阿韦隆 1 哈森·穆罕默德·阿伊迪 1 奥拉夫·拜尔斯多夫 1 保罗·坎帕德利 1 瓦伦特·卡萨诺 1 巴勃罗·卡斯特罗。 1 克里斯蒂安·乔夫鲁特 1 乔迪科尔 1 蒂齐亚诺·达尔蒙特 1 杰斐逊·德巴罗斯·桑托斯 1 劳尔·费尔瓦里 1 马西米利亚诺·戈德伍姆 1 查尔斯·格雷洛伊斯 1 爱德华·赫尔曼·海尔 1 纪尧姆·霍夫曼 1 霍默,史蒂文 1 冈萨洛·伊玛兹(Gonzalo E.Imaz)。 1 奥利弗·库茨 1 李楚敏 1 布鲁诺·洛佩斯·维埃拉 1 很多,费利普 1 乌戈·莫斯卡托 1 尼古拉·奥利维蒂 1 保罗·塔劳 1 毛罗·托雷利 1 维拉,保罗 1 埃利夫娜斯·扬金 全部的 前5名12篇连载文章中引用 4 自动推理杂志 三 纯逻辑与应用逻辑年鉴 2 理论计算机科学 2 国际近似推理杂志 2 应用非经典逻辑杂志 1 信息处理信件 1 信息科学 1 数学逻辑档案 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑汇刊 1 泛逻辑 1 函数空间杂志 全部的 前5名在6个字段中引用 21 数学逻辑和基础(03-XX) 15 计算机科学(68至XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 算子理论(47-XX) 按年份列出的引文