拉丁语

项目摘要:逻辑图集和集成器(拉丁语)。拉丁语的目标是开发方法、技术和工具,用于连接逻辑和相关的形式系统。这些系统是数学和计算机科学的核心,并在(半)自动定理证明器、模型检验器、计算机代数系统、约束求解器或概念分类器等系统中实现。不幸的是,这些系统具有不同的应用领域、基本假设和输入语言,这使得它们不具有互操作性,并且很难在实践中进行比较和评估。


zbMATH参考文献(15篇文章引用)

显示第1到15个结果,共15个。
按年份排序(引用)

  1. 拉贝,弗洛里安:模块化类型重建算法(2018)
  2. Müller,Dennis;Gauthier,Thibault;Kaliszyk,Cezary;Kohlhase,Michael;Rabe,Florian:形式数学系统概念之间对齐的分类(2017)
  3. 弗洛里安·拉贝:《逻辑的未来:基金会独立》(2016)
  4. Horozal,Fulya;Rabe,Florian:交换语言的形式逻辑定义(2015)
  5. Iancu,Mihnea;Kohlhase,Michael:通过诱导材料进行数学知识管理(2015)
  6. 拉贝,弗洛里安:松弛理论态射(2015)
  7. Iancu,Mihnea;Jucovschi,Constantin;Kohlhase,Michael;Wiesing,Tom:系统描述:MathHub.info(2014)
  8. Kohlhase,Michael:语义、多语言数学术语的数据模型和编码(2014)
  9. Martins,Manuel A.;Madeira,Alexandre;Barbosa,Luís.:逻辑解释在程序开发中的作用(2014)
  10. Mossakowski,Till;Pawłowski,Wiesław;Sannella,Donald;Tarlecki和Andrzej:CafeOBJ logics的羊皮纸(2014)
  11. 米涅亚(Mihnea)的安库(Iancu);迈克尔(Michael)的科哈塞(Kohlhase);弗洛里安(Florian)的拉贝(Rabe);约瑟夫(Josef)的厄本(Urban),约瑟夫(Josef):OMDoc的米扎尔数学图书馆:翻译与应用(2013)
  12. 拉贝,弗洛里安;科哈塞,迈克尔:一个可扩展的模块系统(2013)
  13. Kohlhase,Michael;Rabe,Florian:语义\textscOpenMathand\textscMathML3(2012)
  14. Codescu,Mihai;Horozal,Fulya;Kohlhase,Michael;Mossakowski,Till;Rabe,Florian:项目摘要:逻辑图集和集成器(拉丁语)(2011年)
  15. 达文波特,詹姆斯H.(编辑);农民,威廉M.(编辑);厄本,约瑟夫(编辑);拉贝,弗洛里安(编辑):智能计算机数学。2011年7月18日至23日,意大利贝蒂诺罗,2011年MKM第18届国际会议。诉讼(2011年)