EPTCS 114 - ACL2 2013

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7123
- ask others
Ruben Gamboa, Jared Davis (Eds.): Proceedings International Workshop on the ACL2 Theorem Prover and its Applications. 2013 EPTCS 114 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7855
- ask others
Matt Kaufmann, J. Strother Moore: Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1. ... 5-12
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7856
- ask others
Caleb Eggensperger: Proof Pad: A New Development Environment for ACL2. ... 13-28
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7875
- ask others
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz: A Macro for Reusing Abstract Functions and Theorems. ... 29-41
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7857
- ask others
David Greve, Konrad Slind: A Step-Indexing Approach to Partial Functions. ... 42-53
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7858
- ask others
Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann: Abstract Stobjs and Their Application to ISA Modeling. ... 54-69
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7859
- ask others
Freek Verbeek, Julien Schmaltz: Verification of Building Blocks for Asynchronous Circuits. ... 70-84
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7860
- ask others
Lucas Helms, Ruben Gamboa: An Interpreter for Quantum Circuits. ... 85-94
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7861
- ask others
Jared Davis, Sol Swords: Verified AIG Algorithms in ACL2. ... 95-110
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7862
- ask others
Bernard van Gastel, Julien Schmaltz: A formalisation of XMAS. ... 111-126
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7863
- ask others
David S. Hardin, Samuel S. Hardin: ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2. ... 127-142