More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

ACL2 2013: Laramie, WY, USA

> Home > Conferences and Workshops > ACL2

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.