罗尔夫·巴科芬;拉尔夫·特里宁 如何赢得具有功能的游戏。 (英语) Zbl 0912.68018号 Inf.计算。 142,第1期,76-101(1998).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{R.Treinen},Inf.计算。142,编号1,76-101(1998年;Zbl 0912.68018) 全文: 内政部 链接
罗尔夫·巴科芬;拉尔夫·特里宁 如何赢得具有功能的游戏。 (英语) Zbl 1495.68045号 Jouannaud,Jean-Pierre(编辑),计算逻辑中的约束。1994年9月7日至9日在德国慕尼黑举行的1994年CCL第一届国际会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。845, 320-335 (1994).MSC公司:68第05页 03B70号 03C13号机组 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{R.Treinen},莱克特。注释计算。科学。845320--335(1994年;Zbl 1495.68045) 全文: 内政部
约阿希姆·尼伦;安德烈亚斯·波德尔斯基;拉尔夫·特里宁 无限树的等式约束和成员约束。 (英语) Zbl 1503.68041号 克洛德·基什纳(编辑),《重写技术与应用》。1993年6月16日至18日,加拿大蒙特利尔,RTA-93第五届国际会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。690, 106-120 (1993).MSC公司:第68页第19页 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,Lect。注释计算。科学。690106--120(1993年;Zbl 1503.68041) 全文: 内政部