拉森,金·G。(编辑);斯文·斯库姆(编辑);格林·温斯克尔(编辑) 自动化、语言和编程。第25届国际学术讨论会,ICALP’98。1998年7月13日至17日,丹麦奥尔堡。诉讼程序。 (英语) Zbl 0893.00039号 计算机科学课堂讲稿1443.柏林:施普林格。xvi,932页(1998年)。MSC公司:00B25型 68-06 03-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)等人,自动机,语言和编程。第25届国际学术讨论会,ICALP’98。1998年7月13日至17日,丹麦奥尔堡。诉讼程序。柏林:施普林格(1998;Zbl 0893.00039) 全文: 内政部
金·古德斯特兰·拉森;格林·温斯克尔 使用信息系统求解递归域方程。 (英语) Zbl 0731.68071号 Inf.计算。 91,第2号,232-258(1991).MSC公司:68问题55 03天80 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{G.Winskel},Inf.Compute。91,第2号,232--258(1991;Zbl 0731.68071) 全文: 内政部
拉森,K.G。;Winskel,G。 使用信息系统有效地求解递归区域方程。 (英语) 兹伯利0539.68019 数据类型语义,Proc。国际交响乐团。,Sophia-Antipolis/法国1984年,Lect。注释计算。科学。173, 109-129 (1984).MSC公司:68问题65 03D45号 PDF格式BibTeX公司 XML格式