格林·温斯克尔 关于模型检查模态演算的注释。 (英语) Zbl 0745.68083号 西奥。计算。科学。 83,第1期,157-167(1991).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Winskel},Theor。计算。科学。83,第1号,157--167(1991;Zbl 0745.68083) 全文: 内政部
弗朗西斯科·帕里西·普雷西奇 模块化系统基于规则设计的基础。 (英语) Zbl 0753.68069号 西奥。计算。科学。 83,第1期,131-155(1991). 审核人:A.Maggiolo-Schettini(比萨) MSC公司:68问题65 60年第68季度 2012年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Parisi-Prescce},Theor(西奥)。计算。科学。83,第1号,131--155(1991;Zbl 0753.68069) 全文: 内政部
曼娜,佐哈尔;阿米尔·普努利 完成时间画面。 (英语) Zbl 0795.68133号 西奥。计算。科学。 83,第1期,97-130(1991).MSC公司:60年第68季度 2010年第68季度 03B70号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},Theor。计算。科学。83,第1号,97--130(1991;Zbl 0795.68133) 全文: 内政部
纳鸿·德肖维茨;圣埃芬·卡普兰;David A.Plaisted。 重写,重写,重写,重写,重写,重写…。 (英语) Zbl 0759.68044号 西奥。计算。科学。 83,第1期,71-96(1991). 审核人:C.Masalagiu(伊阿什) MSC公司:2012年第68季度 68问题55 2015年1月3日 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人,Theor。计算。科学。83,编号1,71--96(1991;Zbl 0759.68044) 全文: 内政部
洛伊奇科尔森 关于基本递归算法。 (英语) Zbl 0744.03042号 西奥。计算。科学。 83,第1号,57-69(1991).MSC公司:03D20日 68问题55 68甲15 68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.Colson},Theor。计算。科学。83,编号1,57--69(1991;Zbl 0744.03042) 全文: 内政部
费利斯·卡多内 用于娱乐的递归类型。 (英语) Zbl 0746.68018号 西奥。计算。科学。 83,第1期,29-56(1991年).MSC公司:68甲15 03B40型 68号01 PDF格式BibTeX公司 XML格式引用 \提奥,textit{F.Cardone}。计算。科学。83,编号1,29-56(1991;Zbl 0746.68018) 全文: 内政部
瓦尔省布雷祖·坦南;吉恩·盖利埃 多态重写保持代数强正规化。 (英语) Zbl 0745.68065号 西奥。计算。科学。 83,第1期,3-28页(1991年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Breazu-Tannen}和\textit{J.Gallier},Theor。计算。科学。83,第1、3--28号(1991年;Zbl 0745.68065) 全文: 内政部 链接