default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 34

> 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 34, Number 1, January 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Zarba05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Zarba05
Calogero G. Zarba:
Combining Sets with Cardinals. 1-29
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RemshagenT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RemshagenT05
Anja Remshagen, Klaus Truemper:
An Effective Algorithm for the Futile Questioning Problem. 31-47
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CantoneZC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CantoneZC05
Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata:
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. 49-72
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JurkowiakLU05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JurkowiakLU05
Bernard Jurkowiak, Chu Min Li, Gil Utard:
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. 73-101

Volume 34, Number 2, December 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GieslK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GieslK05
Jürgen Giesl, Deepak Kapur:
Preface. 103-104
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Zantema05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Zantema05
Hans Zantema:
Termination of String Rewriting Proved Automatically. 105-139
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SerebrenikS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SerebrenikS05
Alexander Serebrenik, Danny De Schreye:
Termination of Floating-Point Computations. 141-177
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Pientka05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Pientka05
Brigitte Pientka:
Verifying Termination and Reduction Properties about Higher-Order Logic Programs. 179-207

Volume 34, Number 3, April 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jar/TinelliZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/TinelliZ05
Cesare Tinelli, Calogero G. Zarba:
Combining Nonstably Infinite Theories. 209-238
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Arkoudas05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Arkoudas05
Konstantine Arkoudas:
Simplifying Proofs in Fitch-Style Natural Deduction Systems. 239-294
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Fernandez-GagoHDFK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Fernandez-GagoHDFK05
M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev:
First-Order Temporal Verification in Practice. 295-321

Volume 34, Number 4, May 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GieslK05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GieslK05a
Jürgen Giesl, Deepak Kapur:
Preface. 323
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ContejeanMTU05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ContejeanMTU05
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain:
Mechanically Proving Termination Using Polynomial Interpretations. 325-363
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GeserHW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GeserHW05
Alfons Geser, Dieter Hofbauer, Johannes Waldmann:
Termination Proofs for String Rewriting Systems via Inverse Match-Bounds. 365-385
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ManoliosV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ManoliosV05
Panagiotis Manolios, Daron Vroon:
Ordinal Arithmetic: Algorithms and Mechanization. 387-423

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.