Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 37

> 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 37, Numbers 1-2, August 2006

Empirically Successful Automated Reasoning: Applications Issue

- view
  authority control:
- export record
  dblp key:
  - journals/jar/FischerSS06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FischerSS06a
Bernd Fischer, Geoff Sutcliffe, Stephan Schulz:
Empirically Successful Automated Reasoning: Applications Issue. 1
- view
  authority control:
- export record
  dblp key:
  - journals/jar/VeroffS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/VeroffS06
Robert Veroff, Matthew Spinks:
Axiomatizing the Skew Boolean Propositional Calculus. 3-20
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Urban06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Urban06
Josef Urban:
MPTP 0.2: Design, Implementation, and Initial Experiments. 21-43
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SinzKFG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SinzKFG06
Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler:
Checking Consistency and Completeness of On-Line Product Manuals. 45-66
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ruiz-ReinaMAH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ruiz-ReinaMAH06
José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo:
Formal Correctness of a Quadratic Unification Algorithm. 67-92
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ManoliosS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ManoliosS06
Panagiotis Manolios, Sudarshan K. Srinivasan:
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. 93-116
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Pell06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Pell06
Oliver Pell:
Verification of FPGA Layout Generators in Higher-Order Logic. 117-152

Volume 37, Number 3, October 2006

Third Special Issue on Techniques for Automated Termination Proofs

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GieslK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GieslK06
Jürgen Giesl, Deepak Kapur:
Third Special Issue on Techniques for Automated Termination Proofs. 153-154
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GieslTSF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GieslTSF06
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke:
Mechanizing and Improving Dependency Pairs. 155-203
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KusakariNT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KusakariNT06
Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama:
Elimination Transformations for Associative-Commutative Rewriting Systems. 205-229

Volume 37, Number 4, November 2006

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BailleuxM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BailleuxM06
Olivier Bailleux, Pierre Marquis:
Some Computational Aspects of distance-sat. 231-260
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DequenD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DequenD06
Gilles Dequen, Olivier Dubois:
An Efficient Approach to Solving Random k-satProblems. 261-276
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Givant06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Givant06
Steven Givant:
The Calculus of Relations as a Foundation for Mathematics. 277-322
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LimetS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LimetS06
Sébastien Limet, Gernot Salzer:
Tree Tuple Languages from the Logic Programming Point of View. 323-349

a service of

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.