卡洛斯·阿雷塞斯;劳尔·费尔瓦里 公理化混合了XPath和数据。 （英语） Zbl 07407777号 日志。计算方法。科学。 17，第3号，第5号论文，37页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{R.Fervari}，Log。计算方法。科学。17，第3号，第5号论文，37页（2021；Zbl 07407777） 全文： arXiv公司 链接
大卫·巴尔德;安东尼·利克;西尔万·施密茨 序数上时态逻辑的超连续演算。 （英语） Zbl 1528.03136号 Ganguly，Sumit（ed.）等人，第38届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2018，印度艾哈迈达巴德，2018年12月11日至13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第15条，第19页（2018年）。MSC公司：03B45号 03B44号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人，LIPIcs——莱布尼茨国际程序。通知。122，第15条，第19页（2018；Zbl 1528.03136） 全文： 内政部
塞尔吉奥·阿布里奥拉;玛丽亚·艾米丽亚·德斯科特;劳尔·费尔瓦里;圣地亚哥菲格拉 数据树上向下XPath的公理化。 （英语） Zbl 1372.68077号 J.计算。系统。科学。 89, 209-245 (2017).MSC公司：第68页，共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Abriola}等人，《计算杂志》。系统。科学。89、209--245（2017；Zbl 1372.68077） 全文： 内政部 arXiv公司
塞尔吉奥·阿布里奥拉;迭戈·菲格拉;圣地亚哥菲格拉 数据树和分支计数器系统上重复值的逻辑。 （英语） Zbl 1486.68119号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。10203, 196-212 (2017).MSC公司：68兰特 03B44号 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Abriola}等人，Lect。注释计算。科学。10203、196--212（2017；Zbl 1486.68119） 全文： 内政部 哈尔
卡洛斯·阿雷塞斯;劳尔·费尔瓦里 混合XPath和数据的Hilbert-style公理化。 （英语） Zbl 1483.68098号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，2016年JELIA，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10021, 34-48 (2016).MSC公司：第68页，共15页 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{R.Fervari}，莱克特。注释计算。科学。10021，34-48（2016；Zbl 1483.68098） 全文： 内政部