克劳斯·埃利格;詹·约翰森 二阶lambda演算的基本片段。 (英语) 兹比尔1367.03027 ACM事务处理。计算。日志。 6,第2期,468-480(2005).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Aehlig}和\textit{J.Johannsen},ACM Trans。计算。日志。6,第2号,468--480(2005;Zbl 1367.03027) 全文: 内政部 arXiv公司
克劳斯·埃利格;赫尔穆特·施维赫滕贝格 非增倍多项式时间计算的语法分析。 (英语) Zbl 1365.03028号 ACM事务处理。计算。日志。 3,编号383-401(2002).MSC公司:2015年3月1日 03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{K.Aehlig}和\textit{H.Schwichtenberg},ACM Trans。计算。日志。3,第3号,383--401(2002;Zbl 1365.03028) 全文: 内政部