ACL2

被引：0
|
作者：
Gamboa, R
机构：
来源：
SEVENTEEN PROVERS OF THE WORLD | 2006年 / 3600卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：55 / 66
页数：12
相关论文
共 50 条
  • [1] ACL2(ml): Machine-Learning for ACL2
    Heras, Jonathan
    Komendantskaya, Ekaterina
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152): : 61 - 75
  • [2] Iteration in ACL2
    Kaufmann, Matt
    Moore, J. Strother
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (327): : 16 - 31
  • [3] An ACL2 tutorial
    Kaufmann, Matt
    Moore, J. Strother
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2008, 5170 : 17 - +
  • [4] How Can I Do That with ACL2? Recent Enhancements to ACL2
    Kaufmann, Matt
    Moore, J. Strother
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (70): : 46 - 60
  • [5] ACL2s: "The ACL2 sedan"
    Dillinger, Peter C.
    Manolios, Panagiotis
    Vroon, Daron
    Moore, J. Strother
    [J]. 29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 59 - +
  • [6] Hygienic Macros for ACL2
    Eastlund, Carl
    Felleisen, Matthias
    [J]. TRENDS IN FUNCTIONAL PROGRAMMING, 2011, 6546 : 84 - 101
  • [7] ACL2s: "The ACL2 Sedan"
    Dillinger, Peter C.
    Manolios, Panagiotis
    Vroon, Daron
    Moore, J. Strother
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (02) : 3 - 18
  • [8] A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java
    Coglio, Alessandro
    [J]. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2022, 359 : 168 - 184
  • [9] Quadratic Extensions in ACL2
    Gamboa, Ruben
    Cowles, John
    Gamboa, Woodrow
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (327): : 75 - 86
  • [10] Meta reasoning in ACL2
    Hunt, WA
    Kaufmann, M
    Krug, RB
    Moore, JS
    Smith, EW
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2005, 3603 : 163 - 178
12345