迭戈·菲盖拉 图形路径查询语言的基础。2021年推理网络暑期学校的课程笔记。 (英语) 兹伯利1524.68115 Šimkus,Mantas(编辑)等人,推理网络。声明式人工智能。2021年9月8日至15日,比利时鲁汶,第17所2021年国际暑期学校。辅导讲座。查姆:施普林格。莱克特。注释计算。科学。13100, 1-21 (2022).MSC公司:第68页第15页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueira},莱克特。注释计算。科学。13100,1--21(2022;Zbl 1524.68115) 全文: 内政部
戴,乔尔·D·。 字符串求解上下文中的单词方程式。 (英语) Zbl 07570996号 Diekert,Volker(编辑)等人,《语言理论的发展》。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13257, 13-32 (2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Day},莱克特。注释计算。科学。13257,13-32(2022;Zbl 07570996) 全文: 内政部
玛丽亚·艾米丽亚·德斯科特;迭戈·菲盖拉;圣地亚哥菲格拉 同步关系的闭包属性。 (英语) Zbl 07559131号 Niedermeier,Rolf(编辑)等人,第36届计算机科学理论方面国际研讨会,2019年3月13日至16日,德国柏林,STACS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126,第22条,第17页(2019年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.E.Descotte}等人,LIPIcs——莱布尼茨国际程序。通知。126,第22条,第17页(2019年;Zbl 07559131) 全文: 内政部
多米尼克·D·弗雷登伯格。 文档扳手的逻辑。 (英语) Zbl 1430.68081号 理论计算。系统。 63,第7号,1679-1754(2019).MSC公司:第68页第15页 03B70号 68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Freydenberger},理论计算。系统。63,第7号,1679-1754(2019;Zbl 1430.68081) 全文: 内政部
费尔南多·奥雷贾斯;埃尔维拉·皮诺;玛丽莎·纳瓦罗;莱恩·兰伯斯 图形结构导航逻辑机构。 (英语) Zbl 1436.03325号 西奥。计算。科学。 741, 19-24 (2018).MSC公司:03G30型 03B60号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Orejas}等人,Theor。计算。科学。741,19-24(2018;Zbl 1436.03325) 全文: 内政部 链接