乌戈·达尔拉戈;芭芭拉·佩蒂特 按值调用场景中的线性相关类型。 (英语) Zbl 1283.68117号 科学。计算。程序。 84, 77-100 (2014)。MSC公司:68甲18 03B40型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{B.Petit},科学。计算。程序。84、77——100(2014年;Zbl 1283.68117) 全文: 内政部
魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 (英语) Zbl 1243.68148号 科学。计算。程序。 77,第9期,1006-1036(2012)。MSC公司:68纳米30 60年第68季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.-N.Chin}等人,科学。计算。程序。77,第9号,1006--1036(2012;Zbl 1243.68148) 全文: 内政部 链接
de Oliveira,Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹 通过(模型-)等式传播组合决策过程。 (英语) Zbl 1243.68150号 科学。计算。程序。 77,第4期,518-532(2012)。MSC公司:68纳米30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.C.B.de Oliveira}等人,科学。计算。程序。77,No.4,518--532(2012;Zbl 1243.68150) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8908-939(2012)。MSC公司:68纳米30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
Patría D.L.马查多。(编辑) 特刊:巴西正式方法研讨会(SBMF 2008)。2008年8月26日至29日,巴西BA萨尔瓦多,SBMF 2008会议记录中的论文选集。 (英语) Zbl 1246.68048号 科学。计算。程序。77,第4期,423-550(2012)。 MSC公司:68-06 00时25分 68纳米30 60年第68季度 68吨15 第68页第20页 03B70号 68甲15 PDF格式BibTeX公司 XML格式
朱尔斯·德沙奈斯;乔治·斯特鲁斯 域半环的内部公理。 (英语) Zbl 1211.68242号 科学。计算。程序。 76,第3期,181-203(2011)。MSC公司:68问题55 03B45号 03G25号 2016年60月 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{G.Struth},科学。计算。程序。76,第3号,181--203(2011;Zbl 1211.68242) 全文: 内政部
科科特,J.R.B。;克雷格·帕斯特罗 消息传递的逻辑。 (英语) Zbl 1175.68105号 科学。计算。程序。 74,第8期,498-533(2009)。MSC公司:68甲19 03楼52 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{C.Pastro},科学。计算。程序。74,第8号,498--533(2009;Zbl 1175.68105) 全文: 内政部 arXiv公司
弗朗西斯科·杜兰;何塞·梅塞盖尔 莫德的模代数。 (英语) 兹伯利1116.68047 科学。计算。程序。 66,第2期,125-153(2007)。MSC公司:60年第68季度 68纳米30 2012年第68季度 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},科学。计算。程序。66,No.2,125--153(2007;Zbl 1116.68047) 全文: 内政部
莎拉·汤普森;阿兰·迈克罗夫特 组合异步电路的抽象解释。 (英语) Zbl 1129.94049号 科学。计算。程序。 64,第1期,166-183(2007)。MSC公司:94立方厘米05 60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Thompson}和\textit{A.Mycroft},科学。计算。程序。64,第1166-183号(2007年;兹bl 1129.94049) 全文: 内政部
Atsushi Ohori 通过证明转换进行寄存器分配。 (英语) Zbl 1091.68028号 科学。计算。程序。 50,编号1-3,161-187(2004)。MSC公司:68N20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ohori},科学。计算。程序。50,编号1--3,161-187(2004;Zbl 1091.68028) 全文: 内政部
德克斯特·科赞 动力学模型理论的一些结果。 (英语) Zbl 1053.03019号 科学。计算。程序。 51,编号1-2,3-22(2004)。MSC公司:03B70号 03C05号机组 08A70型 03G15年 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},科学。计算。程序。51,编号1--2,3--22(2004;Zbl 1053.03019) 全文: 内政部
安妮迪亚·班纳吉;施密特,大卫·A。 简单类型的按值调用lambda演算中的可堆叠性。 (英语) Zbl 0939.03017号 科学。计算。程序。 31,第1号,47-73(1998)。MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Banerjee}和\textit{D.A.Schmidt},科学。计算。程序。31,编号1,47-73(1998年;Zbl 0939.03017) 全文: 内政部
卢塞纳,C.J.P。;阿伦卡尔,P.S.C。 对不断发展的软件系统体系结构的正式描述。 (英语) Zbl 0939.68557号 科学。计算。程序。 24,第1期,第41-61页(1995年)。MSC公司:68号01 65年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.P.Lucena}和\textit{P.S.C.Alencar},科学。计算。程序。24,第1号,41--61(1995;Zbl 0939.68557) 全文: 内政部
法国贝勒加德;詹姆斯·胡克 替换:使用单子和转换的形式化方法案例研究。 (英语) Zbl 0830.68025号 科学。计算。程序。 23,编号2-3,287-311(1994)。MSC公司:68N17号 2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellegarde}和\textit{J.Hook},科学。计算。程序。23,编号2--3,287--311(1994;Zbl 0830.68025) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 Wadler列表分析中的张量积。 (英语) Zbl 0810.68092号 科学。计算。程序。 22,第3期,327-354(1994)。MSC公司:68问题55 68问题65 68甲15 06B35号 68第05页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,科学。计算。程序。22,第3号,327--354(1994;Zbl 0810.68092) 全文: 内政部
约翰·休斯;约翰·朗奇伯里 颠倒抽象的解释。 (英语) Zbl 0810.68094号 科学。计算。程序。 22,第3号,307-326(1994)。MSC公司:60年第68季度 68问题55 68号01 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hughes}和\textit{J.Launchbury},科学。计算。程序。22,第3号,307--326(1994;Zbl 0810.68094) 全文: 内政部
Jones,Mark P。 合格类型理论。 (英语) Zbl 0809.68084号 科学。计算。程序。 22,第3期,231-256(1994年)。MSC公司:68问题55 68甲15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Jones},科学。计算。程序。22,第3号,231--256(1994;Zbl 0809.68084) 全文: 内政部
弗里茨·亨利恩 动态键入:语法和证明理论。 (英语) 兹比尔0809.68083 科学。计算。程序。 22,第3期,197-230(1994)。MSC公司:68问题55 68N17号 60年第68季度 03B40型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein},科学。计算。程序。22,第3号,197--230(1994;Zbl 0809.68083) 全文: 内政部
奥利维尔,丹维 回到直接风格。 (英语) Zbl 0808.68051号 科学。计算。程序。 22,第3期,183-195(1994)。MSC公司:68号01 03B40型 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy},科学。计算。程序。22,第3号,183--195(1994;Zbl 0808.68051) 全文: 内政部
西崎、信叶 带有延续和线性逻辑的程序。 (英语) Zbl 0799.03033号 科学。计算。程序。 21,第2期,165-190(1993)。MSC公司:03B70号 68号01 68问题55 03B40型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.-y.Nishizaki},科学。计算。程序。21,第2165-190号(1993年;兹bl 0799.03033) 全文: 内政部
约翰·米切尔(John C.Mitchell)。 关于编程语言的抽象和表达能力。 (英语) Zbl 0809.68049号 科学。计算。程序。 21,第2期,141-163(1993)。MSC公司:68甲15 03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell},科学。计算。程序。21,第2号,141--163(1993;Zbl 0809.68049) 全文: 内政部
伯恩哈德·斯特芬 根据模态规范生成数据流分析算法。 (英语) Zbl 0815.68070号 科学。计算。程序。 21,第2期,115-139(1993)。MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Steffen},科学。计算。程序。21,第2号,115--139(1993;Zbl 0815.68070) 全文: 内政部
Eerke A.Boiten。 通过反转求值顺序来改进递归函数。 (英语) Zbl 0769.68008号 科学。计算。程序。 18,第2期,139-179(1992)。MSC公司:68号01 60年第68季度 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Boiten},科学。计算。程序。18,第2号,139--179(1992;Zbl 0769.68008) 全文: 内政部
法鲁兹卡马雷丁 功能和逻辑编程交叉点的系统。 (英语) Zbl 0779.68011号 科学。计算。程序。 第3期第19页,第239-279页(1992年)。 审核人:北伯纳德 MSC公司:68号01 03B65号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine},科学。计算。程序。19,第3号,239--279(1992;Zbl 0779.68011) 全文: 内政部
利恩·赫尔明克 分辨率和类型理论。 (英语) Zbl 0748.03010号 科学。计算。程序。 17,编号1-3,119-138(1991)。MSC公司:03B35型 35楼03号 68吨15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Helmink},科学。计算。程序。17,编号1--3,119--138(1991;Zbl 0748.03010) 全文: 内政部
德文克,E.P。 带有cut的序言的比较语义。 (英语) Zbl 0708.68034号 科学。计算。程序。 13,编号2-3,237-264(1990)。 审核人:P.van Emde-Boas公司 MSC公司:68问题55 68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.P.de Vink},科学。计算。程序。13,编号2--3237--264(1990;Zbl 0708.68034) 全文: 内政部
彼得·戴比杰 比较功能程序的集成逻辑和外部逻辑。 (英语) Zbl 0699.68025号 科学。计算。程序。 14,No.1,59-79(1990)。MSC公司:60年第68季度 03B15号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{P.Dybjer},科学。计算。程序。14,第1号,59-79(1990年;兹bl 0699.68025) 全文: 内政部
蔡佳珍;罗伯特·佩奇 通过定点计算进行程序推导。 (英语) Zbl 0681.68020号 科学。计算。程序。 11,第3期,197-261(1989)。MSC公司:60年第68季度 68号01 68瓦99 68第05页 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{J.Cai}和\textit{R.Paige},科学。计算。程序。11,第3197-261号(1989年;Zbl 0681.68020) 全文: 内政部
尼尔森(Hanne R.Nielson)。;弗莱明·尼尔森 类型化演算的自动绑定时间分析。 (英语) Zbl 0653.03008号 科学。计算。程序。 10,第2期,139-176(1988)。 审核人:J.兹拉图斯卡 MSC公司:03B40型 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,科学。计算。程序。10,第2号,139--176(1988;Zbl 0653.03008) 全文: 内政部
Szymanski,Boleslaw K。;诺亚·S·普利斯。 定义语言中数据结构的有效处理。 (英语) Zbl 0644.68029号 科学。计算。程序。 10,第3期,221-245(1988)。MSC公司:68第05页 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Szymanski}和\textit{N.S.Prywes},科学。计算。程序。10,第3号,221--245(1988;Zbl 0644.68029) 全文: 内政部
彼得·哈里森。 线性化:非线性函数程序的优化。 (英语) Zbl 0644.68015号 科学。计算。程序。 10,第3期,281-318(1988)。MSC公司:60年第68季度 68T20型 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Harrison},科学。计算。程序。10,第3号,281--318(1988;Zbl 0644.68015) 全文: 内政部
保罗·奇索姆 推导Martin-Löf类型理论中的解析算法。 (英语) Zbl 0634.68083号 科学。计算。程序。 8, 1-42 (1987)。MSC公司:68N20型 35楼03号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{P.Chisholm},科学。计算。程序。8、1--42(1987年;Zbl 0634.68083) 全文: 内政部
G·库西诺。;居里,P.-L。;M·莫尼。 分类抽象机。 (英语) Zbl 0634.68078号 科学。计算。程序。 8, 173-202 (1987)。 审核人:V.Kurkova-Pohlova(沃尔科瓦·波洛娃) MSC公司:65年第68季度 18秒20 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{G.Cousineau}等人,科学。计算。程序。8173--202(1987年;Zbl 0634.68078) 全文: 内政部
艾默生·E·艾伦;Lei、Chin-Laung 模型检查的模式:分支时间逻辑反击。 (英语) 兹比尔0615.68019 科学。计算。程序。 8, 275-306 (1987)。MSC公司:60年第68季度 68N25号 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{C.L.Lei},科学。计算。程序。8275--306(1987年;Zbl 0615.68019) 全文: 内政部
van de Snepscheut,Jan L.A。 Warshall算法分布式实现的推导。 (英语) Zbl 0592.68065号 科学。计算。程序。 7, 55-60 (1986)。MSC公司:68卢比99 03E20型 03-04 PDF格式BibTeX公司 XML格式引用 \textit{J.L.A.van de Snepscheut},科学。计算。程序。7、55-60(1986年;Zbl 0592.68065) 全文: 内政部
劳伦斯·鲍尔森 重写的高阶实现。 (英语) Zbl 0551.68076号 科学。计算。程序。 3, 119-149 (1983)。 审核人:M.M.Richter先生 MSC公司:68吨15 68问题65 03D60年 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Paulson},科学。计算。程序。3119--149(1983年;Zbl 0551.68076) 全文: 内政部 arXiv公司
洛塔·施米茨 程序合成中的一个练习:计算关系的传递闭包的算法。 (英语) Zbl 0479.68038号 科学。计算。程序。 1, 235-254 (1982)。MSC公司:68瓦99 60年第68季度 03E20型 03-04 PDF格式BibTeX公司 XML格式引用 \textit{L.Schmitz},科学。计算。程序。1235--254(1982;Zbl 0479.68038) 全文: 内政部