爱荷华州博内娃;约阿希姆·尼伦;莫马尔·萨霍 具有约束上下文变量的压缩树模式的常规匹配和包含。 (英语) Zbl 1487.68141号 Inf.计算。 286,文章ID 104776,25 p.(2022).MSC公司:65年第68季度 65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Boneva}等人,《信息计算》。286,文章ID 104776,25 p.(2022;Zbl 1487.68141) 全文: 内政部 链接
曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默,Jan 观察程序计算和翻译的正确性。 (英语) Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Theor。计算。科学。577、98——124(2015年;Zbl 1309.68052) 全文: 内政部 哈尔
约阿希姆·尼伦;大卫·萨贝尔;曼弗雷德·施密特·沙乌;施温哈默,Jan 带有参考单元格和期货的并发lambda演算的观察语义。 (英语) Zbl 1316.68034号 Fiore,Marcelo(编辑),第23届编程语义数学基础会议论文集(MFPS XXIII),美国洛杉矶新奥尔良,2007年4月11-14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记173,313-337(2007)。MSC公司:68甲15 68甲18 68甲19 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,《电子》。注释Theor。计算。科学。173、313--337(2007;Zbl 1316.68034) 全文: 内政部
呃,凯特琳;约阿希姆·尼伦 分层上下文统一中的优势约束。 (英语) Zbl 1185.68386号 信息处理。莱特。 101,第4期,141-147(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Erk}和\textit{J.Niehren},Inf.过程。莱特。101,第4号,141--147(2007;Zbl 1185.68386) 全文: 内政部 链接
约阿希姆·尼伦;苏菲·蒂森;拉尔夫·特里宁 关于重写约束和上下文统一。 (英语) Zbl 1014.68076号 信息处理。莱特。 74,编号1-2,35-40(2000).MSC公司:第68季度第42季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,《信息处理》。莱特。74,编号1--2,35-40(2000;Zbl 1014.68076) 全文: 内政部