弗兰克·德雷维斯;约斯特·恩格尔弗里特 树转导范围的有限性的可判定性。 (英语) Zbl 1034.68525号 Inf.计算。 145,第1期,1-50页(1998年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}和\textit{J.Engelfriet},Inf.Compute。145,第1号,1-50(1998;Zbl 1034.68525) 全文: DOI程序 链接
万克,伊贡 无上下文图语言中连通性问题的复杂性。 (英语) Zbl 0821.68079号 J.计算。系统。科学。 49,第1期,第57-82页(1994年).MSC公司:第68季度第42季度 65年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.Wanke},J.计算。系统。科学。49,编号1,57--82(1994;Zbl 0821.68079) 全文: DOI程序