default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 40

> 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 40, Number 1, January 2008

- view
  authority control:
- export record
  dblp key:
  - journals/jar/LiffitonS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LiffitonS08
Mark H. Liffiton, Karem A. Sakallah:
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints. 1-33
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MengP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MengP08
Jia Meng, Lawrence C. Paulson:
Translating Higher-Order Clauses to First-Order Clauses. 35-60
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BezemH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BezemH08
Marc Bezem, Dimitri Hendriks:
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. 61-85

Volume 40, Numbers 2-3, March 2008

Selected Papers from the 3rd International Joint Conference on Automated Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Furbach08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Furbach08
Ulrich Furbach:
IJCAR Preface. 87-88
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KazakovM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KazakovM08
Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. 89-116
- view
  authority control:
- export record
  dblp key:
  - journals/jar/TomanW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/TomanW08
David Toman, Grant E. Weddell:
On Keys and Functional Dependencies as First-Class Citizens in Description Logics. 117-132
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChaudhuriPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChaudhuriPP08
Kaustuv Chaudhuri, Frank Pfenning, Greg Price:
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. 133-177
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Paskevich08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Paskevich08
Andrey Paskevich:
Connection Tableaux with Lazy Paramodulation. 179-194
- view
  authority control:
- export record
  dblp key:
  - journals/jar/EndrullisWZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/EndrullisWZ08
Jörg Endrullis, Johannes Waldmann, Hans Zantema:
Matrix Interpretations for Proving Termination of Term Rewriting. 195-220
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SorgeMMC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SorgeMMC08
Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton:
Automatic Construction and Verification of Isotopy Invariants. 221-243

Volume 40, Number 4, May 2008

- view
  authority control:
- export record
  dblp key:
  - journals/jar/RayHMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RayHMM08
Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore:
A Mechanical Analysis of Program Verification Strategies. 245-269
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AransayBR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AransayBR08
Jesús Aransay, Clemens Ballarin, Julio Rubio:
A Mechanized Proof of the Basic Perturbation Lemma. 271-292
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BrockKM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BrockKM08
Bishop Brock, Matt Kaufmann, J Strother Moore:
Rewriting with Equivalence Relations in ACL2. 293-306
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RideauSL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RideauSL08
Laurence Rideau, Bernard P. Serpette, Xavier Leroy:
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. 307-326
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Urban08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Urban08
Christian Urban:
Nominal Techniques in Isabelle/HOL. 327-356
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/KazakovM08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KazakovM08a
Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. 357

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.