default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 43

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 43, Number 1, June 2009

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Blanchette09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Blanchette09
Jasmin Christian Blanchette:
Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Dufourd09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Dufourd09
Jean-François Dufourd:
An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps. 19-51
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MonroyBG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MonroyBG09
Raúl Monroy, Alan Bundy, Ian Green:
On Process Equivalence = Equation Solving in CCS. 53-80
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Maric09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Maric09
Filip Maric:
Formalization and Implementation of Modern SAT Solvers. 81-119

Volume 43, Number 2, August 2009

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Subramani09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Subramani09
K. Subramani:
Optimal Length Resolution Refutations of Difference Constraint Systems. 121-137
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Gamboa09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Gamboa09
Ruben A. Gamboa:
A Formalization of Powerlist Algebra in ACL2. 139-172
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZanklHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZanklHM09
Harald Zankl, Nao Hirokawa, Aart Middeldorp:
KBO Orientability. 173-201
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DalzottoR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DalzottoR09
Giorgio Dalzotto, Tomás Recio:
On Protocols for the Automated Discovery of Theorems in Elementary Geometry. 203-236

Volume 43, Number 3, October 2009

Special Issue: Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BoultonHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BoultonHS09
Richard J. Boulton, Joe Hurd, Konrad Slind:
Computer Assisted Reasoning. 237-242
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Harrison09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Harrison09
John Harrison:
Formalizing an Analytic Proof of the Prime Number Theorem. 243-261
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BlazyL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BlazyL09
Sandrine Blazy, Xavier Leroy:
Mechanized Semantics for the Clight Subset of the C Language. 263-288
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Nipkow09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Nipkow09
Tobias Nipkow:
Social Choice Theory in HOL. 289-304
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Norrish09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Norrish09
Michael Norrish:
Rewriting Conversions Implemented with Continuations. 305-336

Volume 43, Number 4, December 2009

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Sutcliffe09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Sutcliffe09
Geoff Sutcliffe:
The TPTP Problem Library and Associated Infrastructure. 337-362
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Leroy09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Leroy09
Xavier Leroy:
A Formally Verified Compiler Back-end. 363-446

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.