德奥利维拉·奥利维拉,马特乌斯 线性项重写系统中的地面可达性和可接合性对于深度来说是固定参数可处理的。 (英语) Zbl 1398.68288号 郭炯(编辑)等,第十一届参数化精确计算国际研讨会(IPEC 2016),丹麦奥胡斯,2016年8月24-26日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-95977-023-1)。LIPIcs–莱布尼茨国际信息学论文集63,第25条,第12页(2017年)。MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveila},LIPIcs——莱布尼茨国际程序。通知。63,第25条,第12页(2017年;Zbl 1398.68288) 全文: DOI程序
德奥利维拉·奥利维拉,马特乌斯 图转换系统和切片语言中的可达性。 (英语) Zbl 1321.68339号 Parisi-Prescce,Francesco(编辑)等人,《图形变换》。2015年7月21日至23日,作为2015年STAF的一部分,在意大利拉奎拉举行了第八届国际会议,ICGT 2015。诉讼程序。查姆:施普林格(ISBN 978-3-319-21144-2/pbk;978-3-3169-21145-9/电子书)。计算机科学讲义9151121-137(2015)。MSC公司:2012年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveila},莱克特。注释计算。科学。9151、121--137(2015;Zbl 1321.68339) 全文: DOI程序