default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 38

> 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 38, Numbers 1-3, April 2007

Special Issue on Automated Reasoning with Analytic Tableaux

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BeckertP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeckertP07
Bernhard Beckert, Lawrence C. Paulson:
Preface. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AntonsenW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AntonsenW07
Roger Antonsen, Arild Waaler:
Liberalized Variable Splitting. 3-30
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CantoneA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CantoneA07
Domenico Cantone, Marianna Nicolosi Asmundo:
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. 31-56
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JacobsW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JacobsW07
Swen Jacobs, Uwe Waldmann:
Comparing Instance Generation Methods for Automated Reasoning. 57-78
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LetzS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LetzS07
Reinhold Letz, Gernot Stenz:
The Disconnection Tableau Calculus. 79-126
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Giese07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Giese07
Martin Giese:
Superposition-based Equality Handling for Analytic Tableaux. 127-153
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MurrayR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MurrayR07
Neil V. Murray, Erik Rosenthal:
Efficient Query Processing with Reduced Implicate Tries. 155-172
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BresolinMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BresolinMS07
Davide Bresolin, Angelo Montanari, Guido Sciavicco:
An Optimal Decision Procedure for Right Propositional Neighborhood Logic. 173-199
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Larchey-Wendling07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Larchey-Wendling07
Dominique Larchey-Wendling:
Graph-based Decision for Gödel-Dummett Logics. 201-225
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LutzM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LutzM07
Carsten Lutz, Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. 227-259
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RathsOK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RathsOK07
Thomas Raths, Jens Otten, Christoph Kreitz:
The ILTP Problem Library for Intuitionistic Logic. 261-271

Volume 38, Number 4, May 2007

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GamboaC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GamboaC07
Ruben Gamboa, John R. Cowles:
Theory Extension in ACL2(r). 273-301
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AiguierB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AiguierB07
Marc Aiguier, Diane Bahrami:
Structures for Abstract Rewriting. 303-351
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AvigadD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AvigadD07
Jeremy Avigad, Kevin Donnelly:
A Decision Procedure for Linear "Big O" Equations. 353-373

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.