蝉蜕、阿加塔;蒂姆·S·里昂。;雷文莎·拉马纳亚克;Tiu,Alwen先生 显示给带标签的校样,然后再次显示给时态逻辑。 (英语) Zbl 1505.03047号 ACM事务处理。计算。日志。 22,第3条,第20条,第31页(2021年).MSC公司:03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人,ACM Trans。计算。日志。22,第3号,第20条,第31页(2021;Zbl 1505.03047) 全文: 内政部 arXiv公司 链接
蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 超序列和规则、嵌入和应用系统。 (英语) Zbl 1407.03066号 ACM事务处理。计算。日志。 第19条第2款第11条第27页(2018年).MSC公司:03财年03 07年3月 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}和\textit{F.A.Genco},ACM翻译。计算。日志。19,第2号,第11条,第27页(2018;Zbl 1407.03066) 全文: 内政部 arXiv公司
蝉蜕、阿加塔;雷文莎·拉马纳亚克 结构显示规则的功能和限制。 (英语) Zbl 1407.03067号 ACM事务处理。计算。日志。 17,第3号,第17条,第39页(2016年).MSC公司:03财年03 05年3月 03秒20 03B45号 03B44号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}和\textit{R.Ramanayake},ACM翻译。计算。日志。17,第3号,第17条,第39页(2016;Zbl 1407.03067) 全文: 内政部
蝉蜕、阿加塔;奥里·拉哈夫;斯彭迪,劳拉;安娜·扎曼斯基 驯服次协调(和其他)逻辑:一种算法方法。 (英语) Zbl 1354.03082号 ACM事务处理。计算。日志。 16,第1号,第5条,第23页(2015年).MSC公司:03财年03 03B53号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人,ACM Trans。计算。日志。16,第1号,第5条,第23页(2015年;Zbl 1354.03082) 全文: 内政部