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

显示结果1至20的811。
按年份排序(引文
  1. Kaposi、安布鲁、科瓦、安达斯:高感性归纳类型的签名和归纳原理(2020)
  2. Bendkowski,Maciej;Bodini,奥利维尔;Dovgal,谢尔盖:λ项的统计性质(2019)
  3. Bendkowski,Maciej;LeSCANE,彼埃尔:关于应用随机生成的闭包和环境的枚举(2019)
  4. Ciobanu,加布里埃尔;Todoran,eNIIa NIOLA:尖峰神经P系统的语义研究(2019)
  5. 费尔南德斯,Maribel;基什内尔,H·L·E,Pinaud,布鲁诺:战略端口图重写:交互建模框架(2019)
  6. GHICA,Dan R.;Alyahya,KuloLo:使用LSTM(2019)的游戏模型潜在语义分析
  7. Honorato Zimmer,李嘉图;米勒,Andrew J.;普洛特金,Gordon D.;扎尔迪利斯,阿吉里斯:Chromar,一个参数化语言的语言(2019)
  8. Lochbihler,安德烈亚斯:高阶逻辑中的效应多态性(证明珍珠)(2019)
  9. Mcver,A. K.;摩根,C.C.;RabeHaja,T.:定量信息流的程序代数(2019)
  10. Alper,Soylu Yilmaz,Elis:范畴理论与函数规划的关系及其应用(2019)
  11. Schneider、Gerardo、阿伦特、沃尔夫冈、Bartocci、Ezio、比安库利、多梅尼科、科伦坡、克里斯蒂安、法尔科内、伊利亚斯、Francalanza、法尔科内、克尔斯蒂、斯拉安、洛伦萨、琼·奥米;埃尔、德扬、佩斯、阿;鲁菲诺、Signoles;亚力山大:从高级应用程序域(软件之外)对运行时验证的挑战的调查(2019)
  12. 施里夫斯,汤姆;奥利维拉,布鲁诺C.D.S.;Wadler,菲利普;马恩蒂罗西安,考尔:耳蜗:稳定和连贯暗示(2019)
  13. van Binsbergen,L. Thomas;Mosses,Peter D.;斯卡尔索普,尼尔:可执行的基于组件的语义(2019)
  14. Abdulah,萨梅尔:棱镜重新访问:使用多提示分隔控制的概率编程语言的声明性实现(2018)
  15. Azzi,Guilherme Grochau;贝塞拉,Jonas Santos;里贝罗,Leila;科斯塔,安德列;罗德里格斯,Po.;,γ:图变换的顶点系统(2018)
  16. Bessai,简;陈,子春;杜登海弗纳,Andrej;D·德,鲍里斯;德里古罗,Ugo;Rehof,雅可布:基于交叉类型的混合蛋白合成(2018)
  17. 冈查罗夫,谢尔盖;Schr·奥德,Lutz;劳赫,克里斯托夫;Jakob,Jakob:共感恢复的不守恒递归(2018)
  18. 哈勒,Philipp;Miller,希瑟;Mü勒,诺曼:基于谱系分布计算的编程模型和基础(2018)
  19. Ishii,Hiromi:嵌入Haskell(2018)的纯功能计算机代数系统
  20. Joudrier,雨果;Syad,佛罗伦萨:使用多区间约束传播的机车车辆管理问题的贪婪方法。基于多区间约束传播的RoADF管理问题贪婪方法ROADEF/EULL挑战2014(2018)