乔瓦娜·达戈斯蒂诺
人员信息
附属: 意大利乌迪内大学
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元29年] 尼古拉·科图马乔 , 乔瓦娜·达戈斯蒂诺 , 阿尔贝托·波利克里蒂 , 尼古拉·普雷扎 :
协同时序自动机和正则语言——第一部分。 美国临床医学杂志 70 ( 4 ) : 27:1-27:73 ( 2023 ) [公元28年] 乔瓦娜·达戈斯蒂诺 , 大卫·马丁奇 , 阿尔贝托·波利克里蒂 :
订购正则语言和自动机:复杂性。 西奥。 计算。 科学。 949 : 113709 ( 2023 ) 【c8】 乔瓦娜·达戈斯蒂诺 , 卢卡·盖蒂 , 大卫·马丁奇 , 阿尔贝托·波利克里蒂 :
惠勒自动机的线性级联分解。 信息通信与通信系统 2023 : 181-191 2022 [i7] 乔瓦娜·达戈斯蒂诺 , 大卫·马丁奇 , 阿尔贝托·波利克里蒂 :
正则语言和自动机排序:复杂性。 CoRR公司 abs/2203.12534 ( 2022 ) [i6] 尼古拉·科图马乔 , 乔瓦娜·达戈斯蒂诺 , 阿尔贝托·波利克里蒂 , 尼古拉·普雷扎 :
同构序自动机和正则语言。 第一部分。 CoRR公司 abs/2208.04931 ( 2022 ) 2021 [j27] 贾诺·阿兰科 , 乔瓦娜·达戈斯蒂诺 , 阿尔贝托·波利克里蒂 , 尼古拉·普雷扎 :
惠勒语言。 Inf.计算。 281 : 104820 ( 2021 ) 【c7】 大卫·马丁奇 , 乔瓦娜·达戈斯蒂诺 , 阿尔贝托·波利克里蒂 :
订购常规语言:危险地带。 信息通信与通信系统 2021 : 46-69 [i5] 尼古拉·科图马乔 , 乔瓦娜·达戈斯蒂诺 , 阿尔贝托·波利克里蒂 , 尼古拉·普雷扎 :
哪些正则语言可以有效索引? CoRR公司 abs/2102.06798 ( 2021 ) [i4] 乔瓦娜·达戈斯蒂诺 , 大卫·马丁西 , 阿尔贝托·波利克里蒂 :
订购常规语言:危险地带。 CoRR公司 abs/2106.00315 ( 2021 ) [i3] 乔瓦娜·达戈斯蒂诺 , 尼古拉·科图马乔 , 阿尔贝托·波利克里蒂 , 尼古拉·普雷扎 :
关于订购自动机。 CoRR公司 abs/2106.02309 ( 2021 ) 2020 【c6】 贾诺·阿兰科 , 乔万娜·达戈斯蒂诺 , 阿尔贝托·波利克里蒂 , 尼古拉·普雷扎 :
常规语言满足前缀排序。 苏打水 2020 : 911-930 [i2] 贾诺·阿兰科 , 乔瓦娜·达戈斯蒂诺 , 阿尔贝托·波利克里蒂 , 尼古拉·普雷扎 :
惠勒语言。 CoRR公司 abs/2002.10303 ( 2020 )
2010 – 2019
2019 [公元26年] 乔瓦娜·达戈斯蒂诺 :
命题和模态团队逻辑的统一插值。 J.日志。 计算。 29 ( 5 ) : 785-802 ( 2019 ) 2018 [j25] 乔瓦娜·达戈斯蒂诺 , 阿尔贝托·马可尼 :
逆向数学动物园的逻辑。 数学。 结构。 计算。 科学。 28 ( 三 ) : 412-428 ( 2018 ) [公元24年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
这个 μ -微积分交替深度层次在有限平面图上是无限的。 西奥。 计算。 科学。 737 : 40-61 ( 2018 ) [电子2] 古拉姆·贝扎尼什维利 , 乔瓦娜·达戈斯蒂诺 , 乔治·梅特卡夫 , 托马斯·斯图德 :
模态逻辑进展12,第十二届“模态逻辑进展”会议记录,2018年8月27日至31日在瑞士伯尔尼举行。 学院出版物 2018 ,国际标准图书编号 978-1-84890-255-8 [目录] [i1] 乔瓦娜·达戈斯蒂诺 :
命题和模态团队逻辑的统一插值。 CoRR公司 abs/1810.05395 ( 2018 ) 2015 [公元23年] 乔瓦娜·达戈斯蒂诺 , 尤金尼奥·奥莫多 , 阿尔贝托·波利克里蒂 , 亚历山德鲁·托梅斯库 :
将集和超集映射为数字。 芬丹。 信息学 140 ( 3-4 ) : 307-328 ( 2015 ) [公元22年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
保护一阶逻辑的互模拟量词和统一插值。 西奥。 计算。 科学。 563 : 75-85 ( 2015 ) 2013 [公元21年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
关于S5中的模态微积分及其应用。 芬丹。 信息学 124 ( 4 ) : 465-482 ( 2013 ) [公元20年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
自反对称图上的模态μ-演算。 J.日志。 计算。 23 ( 三 ) : 445-455 ( 2013 ) [j19] 乔瓦娜·达戈斯蒂诺 , 萨尔瓦托雷·拉托雷 :
游戏、自动化、逻辑和形式验证(GandALF 2011)。 西奥。 计算。 科学。 493 : 1 ( 2013 ) 2012 [公元18年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
关于具有小分支或小树宽的有限图上的模态μ-演算。 发现的国际期刊。 计算。 科学。 23 ( 三 ) : 627-647 ( 2012 ) 2011 [公元17年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
判定传递模型上一致插值的存在性。 架构(architecture)。 数学。 日志。 50 ( 1-2 ) : 185-196 ( 2011 ) 【c5】 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
关于S5中的模态微积分及其应用。 CILC公司 2011 : 9-24 [电子1] 乔瓦娜·达戈斯蒂诺 , 萨尔瓦托雷·拉托雷 :
第二届国际游戏、自动机、逻辑和形式验证研讨会论文集,GandALF 2011,意大利米诺里,2011年6月15日至17日。 EPTCS系统 54, 2011 [目录] 2010 [公元16年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
关于传递框架和有限传递框架上的µ-演算。 西奥。 计算。 科学。 411 ( 50 ) : 4273-4290 ( 2010 ) 【c4】 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
关于具有有界强连通分量的有限图上的模态μ-演算。 甘道夫 2010 : 55-71
2000 – 2009
2008 [公元15年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
关于传递框架上的互模拟量词和不动点的注记。 J.日志。 计算。 18 ( 4 ) : 601-614 ( 2008 ) [公元14年] 乔万娜·达戈斯蒂诺 :
非经典逻辑中的插值。 合成。 164 ( 三 ) : 421-435 ( 2008 ) 2006 [j13] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 , 蒂姆·弗伦奇 :
用于模态逻辑的µ-程序、统一插值和互模拟量词。 J.应用。 非班级。 逻辑 16 ( 3-4 ) : 297-310 ( 2006 ) [公元12年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
关于具有显式插值的模态微积分。 J.应用。 日志。 4 ( 三 ) : 256-278 ( 2006 ) 2005 [公元11年] 乔瓦娜·达戈斯蒂诺 , 贾科莫·伦齐 :
通过微积分对互模拟量词进行公理化。 西奥。 计算。 科学。 338 ( 1-3 ) : 64-95 ( 2005 ) 【c3】 乔瓦娜·达戈斯蒂诺 :
均匀插值、互模拟量化器和固定点。 TbiLLC公司 2005 : 96-116 2003 [公元10年] 乔瓦娜·达戈斯蒂诺 :
描述无限梯度逻辑中的插值对。 J.日志。 计算。 13 ( 2 ) : 173-193 ( 2003 ) 2002 [公元9年] 乔瓦娜·达戈斯蒂诺 , 阿尔伯特·维瑟 :
终局重获:斯科特集与多集的联合研究。 架构(architecture)。 数学。 日志。 41 ( 三 ) : 267-298 ( 2002 ) 2000 [j8] 乔瓦娜·达戈斯蒂诺 , 马可·霍伦伯格 :
关于微积分的逻辑问题:插值、林登和洛斯·塔斯基。 J.塞姆。 日志。 65 ( 1 ) : 310-332 ( 2000 )
1990 – 1999
1998 [j7] 本瑟姆 , 乔瓦娜·达戈斯蒂诺 , 安吉洛·蒙塔纳里 , 阿尔贝托·波利克里蒂 :
二阶逻辑和集合论中的模态演绎——II。 Stud Logica公司 60 ( 2 ) : 387-420 ( 1998 ) 1997 [j6] 本瑟姆 , 乔瓦娜·达戈斯蒂诺 , 安吉洛·蒙塔纳里 , 阿尔贝托·波利克里蒂 :
二阶逻辑与集合论中的模态演绎——Ⅰ。 J.日志。 计算。 7 ( 2 ) : 251-265 ( 1997 ) 1996 [j5] 克劳迪奥·贝尔纳迪 , 乔瓦娜·达戈斯蒂诺 :
翻译超博弈悖论:关于关系的已建立元素集的评论。 J.菲洛斯。 日志。 25 ( 5 ) : 545-557 ( 1996 ) 【c2】 乔瓦娜·达戈斯蒂诺 , 马可·霍伦伯格 :
均匀插值、自动机和模态微积分。 模态逻辑的进展 1996 : 73-84 1995 【j4】 乔瓦娜·达戈斯蒂诺 , 安吉洛·蒙塔纳里 , 阿尔贝托·波利克里蒂 :
多模逻辑的集合理论翻译方法。 J.汽车。 原因。 15 ( 三 ) : 317-337 ( 1995 ) [j3] 乔瓦娜·达戈斯蒂诺 , 马里奥·马格纳戈 :
算术中的完全递归可枚举关系。 数学。 日志。 问:。 41 : 65-72 ( 1995 ) 【c1】 乔瓦娜·达戈斯蒂诺 , 安吉洛·蒙塔纳里 , 阿尔贝托·波利克里蒂 :
(多)模态逻辑的集合理论转换方法。 STACS公司 1995 : 217-228 1994 [注2] 乔瓦娜·达戈斯蒂诺 :
可对角化代数的拓扑结构及其理论的逻辑性质。 圣母院J.正式日志。 35 ( 4 ) : 563-572 ( 1994 ) 1993 [j1] 乔瓦娜·达戈斯蒂诺 :
虚拟自由群的Cayley图。 国际代数计算杂志。 三 ( 2 ) : 189-200 ( 1993 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)