Bertram FelgenhauerInstitute of Computer Science University of Innsbruck关注立即认领分享关注立即认领分享基本信息浏览量:50职业迁徙个人简介暂无内容研究兴趣论文共 22 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构Certifying Proofs in the First-Order Theory of Rewriting Groote J, Larsen K,Mitterwallner F,Lochmann A,Middeldorp A,Felgenhauer BETAPS(2021)引用1浏览0EI引用10A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systemsAlexander Lochmann,Aart Middeldorp,Fabian Mitterwallner,Bertram FelgenhauerPOPL(2021)引用2浏览0EI引用20A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOLBertram Felgenhauer,Aart Middeldorp,T. V. H. Prathamesh, Franziska RappPOPL(2019)引用4浏览0EI引用40Minsky MachinesBertram FelgenhauerArchive of Formal Proofs(2018)引用23浏览0EI引用230Layer Systems for Confluence - FormalizedBertram Felgenhauer, Franziska RappICTAC(2018)引用24浏览0EI引用240Constructing Cycles in the Simplex Method for DPLL(T)Bertram Felgenhauer,Aart MiddeldorpLecture Notes in Computer Science(2017)引用1浏览0EI引用10Certifying Confluence Proofs via Relative Termination and Rule LabelingJulian Nagele,Bertram Felgenhauer,Harald ZanklLOGICAL METHODS IN COMPUTER SCIENCE(2017)引用6浏览0EI引用60Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems EfficientlyBertram FelgenhauerLOGICAL METHODS IN COMPUTER SCIENCE(2017)引用1浏览0EI引用10Reachability, Confluence, And Termination Analysis With State-Compatible AutomataBertram Felgenhauer,Rene ThiemannInf. Comput.(2017)引用30浏览0EI引用300CSI: New Evidence - A Progress ReportJulian Nagele,Bertram Felgenhauer,Aart MiddeldorpLecture Notes in Artificial Intelligence(2017)引用33浏览0EI引用330加载更多作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn