赫尔穆特·塞德尔 具有成本函数的有限树自动机。 (英语) Zbl 0805.68085号 西奥。计算。科学。 126,第1期,113-142(1994).MSC公司:70年第68季度 20立方米 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl},Theor(西奥)。计算。科学。126,编号1,113--142(1994;Zbl 0805.68085) 全文: 内政部
安德烈亚斯·波托夫 有限树上的模计数量词。 (英语) 兹比尔0798.03007 西奥。计算。科学。 126,第1期,97-112(1994).MSC公司:03B15号机组 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Potthoff},Theor(西奥)。计算。科学。126,编号1,97--112(1994;Zbl 0798.03007) 全文: 内政部
达姆,麦兹 CTL和ECTL作为模态演算的片段。 (英语) Zbl 0798.03018号 西奥。计算。科学。 126,第1期,77-96(1994).MSC公司:03B45号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Dam},Theor。计算。科学。126,编号1,77--96(1994;Zbl 0798.03018) 全文: 内政部
布鲁诺·库塞尔 一元二阶可定义图转导:综述。 (英语) Zbl 0805.68077号 西奥。计算。科学。 126,第1期,第53-75页(1994年).MSC公司:第68季度第45季度 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。126,编号1,53--75(1994;Zbl 0805.68077) 全文: 内政部
卡隆、安妮·塞西尔;Jean-Luc科基德 项重写系统不相交并可达性的判定。 (英语) Zbl 0805.68075号 西奥。计算。科学。 126,第1期,31-52(1994).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.-C.卡隆}和\textit{J.-L.科基德},提奥。计算。科学。126,编号1,31-52(1994;Zbl 0805.68075) 全文: 内政部
安徒生、亨利克·雷夫 模型检查和布尔图。 (英语) 兹比尔0798.03017 西奥。计算。科学。 126,第1期,第3-30页(1994年).MSC公司:03B45号 68问题85 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.R.安徒生},Theor。计算。科学。126,编号1,3--30(1994;Zbl 0798.03017) 全文: 内政部