西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔;希亚拉·纳索 具有长度和maxdiff的数组的插值结果。 (英语) Zbl 07760989号 ACM事务处理。计算。日志。 24,第4条,第28条,第33页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,ACM Trans。计算。日志。24,第4号,第28条,第33页(2023;Zbl 07760989) 全文: 内政部
西尔维奥·吉拉尔迪;玛丽亚·乔昂·古韦亚;圣托卡纳莱,路易吉 直觉命题演算中的定点消去法。 (英语) Zbl 1433.03015号 ACM事务处理。计算。日志。 21,第1号,第4条,第37页(2020).MSC公司:03B20型 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,ACM Trans。计算。日志。21,第1号,第4条,37页(2020年;Zbl 1433.03015) 全文: 内政部 链接
罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 等式插值理论组合中的无量词插值。 (英语) Zbl 1287.03068号 ACM事务处理。计算。日志。 第15号第1条第5条第34页(2014年).MSC公司:03B70号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人,ACM Trans。计算。日志。15,第1号,第5条,第34页(2014年;Zbl 1287.03068) 全文: 内政部
弗兰兹·巴德;西尔维奥·吉拉尔迪;卡斯滕·卢茨 LTL过度描述逻辑公理。 (英语) Zbl 1351.68260号 ACM事务处理。计算。日志。 第13号第3条第21条第32页(2012年).MSC公司:68T27型 03B44号 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,ACM Trans。计算。日志。13,第3号,第21条,32页(2012;Zbl 1351.68260) 全文: 内政部 链接
西尔维奥·吉拉尔迪;恩里卡·尼科里尼;丹尼尔·祖切利 一个全面的组合框架。 (英语) Zbl 1407.03011号 ACM事务处理。计算。日志。 第9号第2条第8条第54页(2008年).MSC公司:03B35型 03B25号 03B45号 03B15号机组 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,ACM Trans。计算。日志。9,第2号,第8条,54页(2008年;Zbl 1407.03011) 全文: 内政部