卢卡·埃特罗;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir 通过约简得到非有限公理化结果:CSP并行组合和CCS限制。 (英语) Zbl 1524.68207号 Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13560, 1-26 (2022).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。13560,1--26(2022;Zbl 1524.68207) 全文: 内政部
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 获得并行组合的有限公理化是否需要两个二进制运算符? (英语) Zbl 1508.68239号 ACM事务处理。计算。日志。 23,第4条,第22条,第56页(2022年).MSC公司:68问题85 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,ACM Trans。计算。日志。23,第4号,第22条,56页(2022年;Zbl 1508.68239) 全文: 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化无递归的常规监控器。 (英语) Zbl 07531445号 J.日志。阿尔盖布。方法计划。 127,文章ID 100778,32 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。127,文章ID 100778,32 p.(2022;Zbl 07531445) 全文: 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于平行组合的公理化。 (英语) Zbl 07471704号 日志。方法计算。科学。 18,第1号,第15号论文,51页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。18,第1号,第15号文件,第51页(2022;Zbl 07471704) 全文: arXiv公司 链接
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于平行组合的公理化:光谱中的旅程。 (英语) Zbl 07559474号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第18条,第22页(2020年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。171,第18条,22 p.(2020;Zbl 07559474) 全文: 内政部
卢卡·埃特罗;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于优先权的公理化。三: 优先权再次罢工。 (英语) Zbl 1452.68124号 西奥。计算。科学。 837, 223-246 (2020).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。837223--246(2020年;Zbl 1452.68124) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。阿尔盖布。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100515,38 p.(2020;Zbl 1494.68155) 全文: 内政部 arXiv公司
卢卡·埃特罗;黛拉·莫妮卡,达里奥;伊格纳西奥·法布雷加斯;Anna Ingólfsdóttir 素数公式的特征是什么时候? (英语) Zbl 1425.68246号 西奥。计算。科学。 777, 3-31 (2019).MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。777,3--31(2019年;Zbl 1425.68246) 全文: 内政部
丙酮,L。;Fábregas,I。;加西亚·佩雷斯,a。;Ingólfsdóttir,A。 SOS中有界不确定性的统一规则格式,以术语作为标签。 (英语) Zbl 1373.68285号 J.日志。阿尔盖布。方法计划。 92, 64-86 (2017).MSC公司:68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。92、64-86(2017年;Zbl 1373.68285) 全文: 内政部
卢卡·埃特罗;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 艾伦关系区间逻辑表达的完整分类:一般情况和密集情况。 (英语) Zbl 1339.03018号 学报信息。 53,第3期,207-246(2016). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》53,第3期,207--246(2016;Zbl 1339.03018) 全文: 内政部 链接
丙酮,L。;黛拉·莫妮卡,D。;Fábregas,I。;Ingólfsdóttir,A。 素数公式的特征是什么时候? (英语) Zbl 1425.68245号 Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 76-88 (2015).MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。9234,76-88(2015;Zbl 1425.68245) 全文: 内政部
卢卡·埃特罗;黛拉·莫妮卡,达里奥;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 (英语) Zbl 1432.03027号 Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761267-281(2014年)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。8761,267--281(2014;Zbl 1432.03027) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 分配性的规则格式。 (英语) Zbl 1279.68180号 西奥。计算。科学。 458, 1-28 (2012).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。458,1--28(2012;Zbl 1279.68180) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂 使用规则匹配双相似性证明GSOS语言中方程的有效性。 (英语) Zbl 1248.68347号 数学。结构。计算。科学。 22,第2期,291-331(2012). 审核人:Antti Valmari(坦佩雷) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。22,第2号,291-331(2012年;兹bl 1248.68347) 全文: 内政部
卢卡·埃特罗;安娜·英格尔夫斯多蒂;保罗·布莱恩·利维;约书亚·萨克 定点语义的特征公式:一个通用框架。 (英语) Zbl 1279.68181号 数学。结构。计算。科学。 22,第2期,125-173(2012).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,数学。结构。计算。科学。22,No.2,125--173(2012;Zbl 1279.68181) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 零元素和单位元素的SOS规则格式。 (英语) Zbl 1216.68152号 西奥。计算。科学。 412,第28号,3045-3071(2011).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。412,第28号,3045--3071(2011;Zbl 1216.68152) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 零元素和单位元素的规则格式。 (英语) Zbl 1342.68189号 Mislove,Michael(ed.)等人,第26届编程语义数学基础会议论文集(MFPS 2010),加拿大渥太华,2010年5月6日至10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记265145-160(2010)。MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《电子》。理论注释。计算。科学。265145-160(2010年;Zbl 1342.68189) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 CCS与轩尼诗的合并没有有限等式公理化。 (英语) Zbl 1078.68102号 西奥。计算。科学。 330,第3期,377-405(2005).MSC公司:68问题85 08A70号 03B45号 03C05号机组 2010年第68季度 第68季度第45季度 68问题55 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。330,第3号,377--405(2005;Zbl 1078.68102) 全文: 内政部 链接
卢卡·埃特罗;Wan Fokkink公司;罗布·范格拉贝克;Anna Ingólfsdóttir 有限树上的嵌套语义相当困难。 (英语) Zbl 1101.68690号 Inf.计算。 191,第2期,203-232(2004).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息计算》。191,No.2,203--232(2004;Zbl 1101.68690) 全文: 内政部 链接
卢卡·埃特罗;Wan Fokkink公司;Anna Ingólfsdóttir 关于多出口迭代的表达层次结构的注释。 (英语) Zbl 1175.68266号 Inf.流程。莱特。 87,第1期,17-23(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《Inf.过程》。莱特。87,第1号,17--23(2003;Zbl 1175.68266) 全文: 内政部
Anna Ingólfsdóttir 基于最新方法的价值传递过程语义理论。 (英语) Zbl 1028.68094号 Inf.计算。 184,编号1,1-44(2003).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ingólfsdóttir},信息计算。184,第1号,1-44(2003;Zbl 1028.68094) 全文: 内政部
Ingólfsdóttir,A。;A.沙尔克。 观测先验的完全抽象指称模型。 (英语) Zbl 0972.68121号 西奥。计算。科学。 254,编号1-2,35-61(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Ingólfsdóttir}和\textit{A.Schalk},Theor。计算。科学。254,编号1--2,35-61(2001;Zbl 0972.68121) 全文: 内政部
卢卡·埃特罗;Anna Ingólfsdóttir;米克尔·莱克·佩德森;鲍尔森,Jan 定时自动调节的特征公式。 (英语) Zbl 0974.68121号 西奥。通知。申请。 34,第6号,565-584(2000).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。通知。申请。34,第6号,565--584(2000;Zbl 0974.68121) 全文: 内政部 欧洲DML
卢卡·埃特罗;Anna Ingólfsdóttir 有限互刺激的特征。 (英语) Zbl 1337.68177号 Inf.流程。莱特。 64,第3期,127-134(1997).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{A.Ingólfsdóttir},Inf.过程。莱特。64,第3号,127--134(1997;Zbl 1337.68177) 全文: 内政部
Anna Ingólfsdóttir 后期和早期语义在测试中是一致的。 (英语) Zbl 0873.68128号 西奥。计算。科学。 146,编号1-2,341-349(1995).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ingólfsdóttir},Theor(西奥)。计算。科学。146,编号1--2,341--349(1995;Zbl 0873.68128) 全文: 内政部
轩尼诗,M。;Ingólfsdóttir,A。 通过价值传递和分配沟通流程。 (英语) Zbl 0784.68055号 正式Asp。计算。 5,第5期,432-466(1993).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{A.Ingólfsdóttir},正式Asp。计算。5,第5号,432--466(1993;Zbl 0784.68055) 全文: 内政部