快速检查

此软件的关键字
zbMATH中的参考文献(参考文献 99篇文章 , 1标准件 )
艾伯特,艾薇拉; 贝齐尔吉安尼斯,尼古拉斯; 德波尔,弗兰克; Martin Martin,Enrique:从演员合作调度到Haskell(2020)的正式资源消耗保护翻译 卢克希奇,Žiga; Pretnar,Matija:局部代数效应理论(2020) 本德科夫斯基,麦基; 博迪尼,奥利弗; Dovgal,Sergey:lambda项的统计特性(2019) 本德科夫斯基,麦基; Lescanne,Pierre:关于闭包和环境的计数及其在随机生成中的应用(2019) 卡巴莱罗,拉斐尔; 马丁·马丁,恩里克; 里斯科,阿德里安; 萨尔瓦多塔马里特:声明性调试的核心Erlang语义(2019) 大卫·R·马基弗,扎克·哈特菲尔德·多德; 贡献者:假设:基于属性的测试的新方法(2019) 不是zbMATH 吉卡,丹·R。; Alyahya,Khulood:使用LSTM对博弈模型进行潜在语义分析(2019) Johansson,Moa:归纳引理的发现。 调查(2019年) Mostowski,Wojciech:用于测试灰盒系统的基于模型的故障注入(2019) 保尔森,劳伦斯·C。; 尼普科,托比亚斯; 温泽尔,马卡里乌斯:从LCF到伊莎贝尔/霍尔(2019) 里斯科,A。; Rodríguez HortaláJ.:火花流的基于属性的测试(2019) 奥斯汀,埃文; 巴特森,斯科特; 咖喱,彼得; 威廉姆斯,布莱恩:寻找计算机辅助加密的中间地带(2018) 本德科夫斯基,麦基; Lescanne,Pierre:计数环境和关闭(2018) 卡巴莱罗,拉斐尔; 马丁·马丁,恩里克; 里斯科,阿德里安; 萨尔瓦多塔马里特:并发Erlang程序的声明性调试(2018) 杜布瓦,凯瑟琳; Giorgetti,Alain:自定义数据生成器的测试和证明(2018) 石井,广美:嵌入Haskell的纯功能计算机代数系统(2018) 艾伯特,艾薇拉; 贝齐尔吉安尼斯,尼古拉斯; 德波尔,弗兰克; Martin Martin,Enrique:演员到Haskell的正式、资源消耗保护翻译(2017) 勃兰特,约根; 莱希格,沃尔夫冈; Leser,Ulf:功能科学工作流语言楔形文字的计算语义(2017) 西蒙·克鲁恩斯:《结构归纳的叠加》(2017) 西蒙·克鲁恩斯:《可满足模有界检验》(2017)