zbMATH中的参考文献,3标准条款)

显示821的结果1到20。
按年份排序(引用)

1 2 ... 40 41 42 下一个

  1. 卢卡斯修道院;林德利,山姆;麦克布莱德,康纳;麦克劳夫林,克雷格:斗蜂斗蜂斗(2020)
  2. Dylus,Sandra;Christiansen,Jan;Teegen,Finn:使用非严格非确定性实现概率规划库(2020)
  3. Kaposi,Ambrus;Kovács,András:高级归纳类型的特征和归纳原理(2020)
  4. 马特·斯特罗曼(Matt-Stroan)第二次功能设置(第二次订购:Matt-Stroan-2020)
  5. Luttenberger,Michael;Meyer,Philipp J.;Sickert,Salomon:通过平价博弈从LTL规范中实际合成反应系统(2020年)
  6. Bendkowski,Maciej;Bodini,Olivier;Dovgal,Sergey:lambda项的统计特性(2019年)
  7. Bendkowski,Maciej;Lescanne,Pierre:关于闭包和环境的枚举及其在随机生成中的应用(2019)
  8. Ciobanu,Gabriel;Todoran,Eneia Nicolae:尖峰神经P系统的语义调查(2019)
  9. 费南德斯,马里贝尔;基什内尔,赫勒;皮诺,布鲁诺:战略港口图改写:一个互动模型框架(2019年)
  10. Ghica,Dan R.;Alyahya,Khulood:使用LSTM对游戏模型的潜在语义分析(2019年)
  11. Honorato Zimmer,里卡多;Millar,Andrew J.;Plotkin,Gordon D.;Zardilis,Argyris:Chromar,参数化代理语言(2019)
  12. Lochbihler,Andreas:高阶逻辑中的效应多态性(proof pearl)(2019)
  13. McIver,A.K.;Morgan,C.C.;Rabehaja,T.:定量信息流的程序代数(2019)
  14. Odabaş,Alper;Soylu Yilmaz,Elis:范畴理论与函数编程的关系及其应用(2019)
  15. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  16. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  17. Tom Schrijvers;Oliveira,Bruno C.D.S.;Wadler,Philip;Marntirosian,Koar:COCHIS:稳定和连贯的隐含(2019)
  18. van Binsbergen,L.Thomas;Mosses,Peter D.;Sculthorpe,Neil:《基于组件的可执行语义》(2019)
  19. Abdallah,Samer:PRISM重访:使用多提示分隔控制的概率编程语言的声明性实现(2018)
  20. Azzi,Guilherme Grochau;Bezerra,Jonas Santos;Ribeiro,Leila;Costa,Andrei;Rodrigues,Leonardo Marques;Machado,Rodrigo:图形转换的Verigraph系统(2018)

1 2 ... 40 41 42 下一个