ZBMaX中的参考文献(815篇)3篇标准文章

显示结果21至40的815。
按年份排序(引文
  1. Ishii,Hiromi:嵌入Haskell(2018)的纯功能计算机代数系统
  2. Joudrier,雨果;Syad,佛罗伦萨:使用多区间约束传播的机车车辆管理问题的贪婪方法。基于多区间约束传播的RoADF管理问题贪婪方法ROADEF/EULL挑战2014(2018)
  3. 卢卡斯,萨尔瓦多;MeSeGuer-Joee;GuTyeRrz,Ra:L:条件重写系统的2D依赖对框架。I:定义和基本处理器(2018)
  4. Melham,汤姆:符号轨迹评估(2018)
  5. 佩德森、Jan B.、韦尔奇、Peter H.:并发与验证的共生:教学与案例研究(2018)
  6. Ramezanifarkhani,Toktam;WO,奥拉夫;Tokas,Sukun:一个用于分布式和面向对象系统的保密语言(2018)
  7. Sestini,菲利波,克拉法,西尔维亚:分子生物学上下文敏感逻辑中的证据检索(2018)
  8. 斯特芬,伯恩哈德;R·物,奥利弗;胡思,米迦勒:高级信息学的数学基础。第1卷。归纳法(2018)
  9. 刀剑、卡梅伦、Sabry、AMR、Tobin Hochstadt、山姆:作为通信模式的合同监控策略的扩展说明(2018)
  10. 威尔登,马克:一个推广的SXP规则,由双射和对合证明(2018)
  11. 赵,Jinxu;奥利维拉,布鲁诺C.D.S.;Srijver,汤姆:多态子类型算法的形式化(2018)
  12. 阿贝尔,安德烈亚斯;Adelsberger,Stephan;StEZER,Anton:AGDA中的交互式编程——对象和图形用户界面(2017)
  13. Ahman,Danel;哈里奥库,C·T·林;梅拉德,Kenji;MaldNez,GueDo;普洛特金,戈登;Protzenko,乔纳森;Rastogi,Pig;y,NikHIL:免费单子(2017)
  14. 艾伯特,Elvira;贝吉吉亚尼斯,尼古拉;德波尔,弗兰克;Martin Martin,恩里克:一个正式的、资源消耗保护的演员对哈斯克尔的翻译(2017)
  15. Antoy、塞尔吉奥、Hanus、米迦勒:咖喱的缺省规则(2017)
  16. Antoy,塞尔吉奥;Hanus,米迦勒:把布尔等式转化为约束条件(2017)
  17. Berkemer,Sarah J.;H.N.Z.SieDeld森,克里斯蒂安;Stadler,Peter F.:树上的代数动态规划(2017)
  18. Blanchette,Jasmin Christian;Bouzy,艾默里克;洛克比勒,安德烈亚斯;波佩斯库,安德列;特雷特尔,Dmitriy:有利益的朋友。在基础证明助手中实施CalurursIn(2017)
  19. Botta,尼古拉;詹森,帕特里克;约内斯库,塞萨尔:对政策建议和可避免性的计算理论的贡献(2017)
  20. 勃兰特,J·RGEN;Resig,沃尔夫冈;Leser,ULF:函数科学工作流语言楔形文字的计算语义(2017)