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 33

> 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 33, Number 1, July 2004

- view
  authority control:
- export record
  dblp key:
  - journals/jar/AnantharamanNR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AnantharamanNR04
Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch:
Unification Modulo ACUI Plus Distributivity Axioms. 1-28
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Paulson04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Paulson04
Lawrence C. Paulson:
Organizing Numerical Theories Using Axiomatic Type Classes. 29-49
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZimmerM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZimmerM04
Jürgen Zimmer, Erica Melis:
Constraint Solving for Proof Planning. 51-88

Volume 33, Number 2, September 2004

- view
  authority control:
- export record
  dblp key:
  - journals/jar/LiangNQ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LiangNQ04
Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi:
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. 89-132
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Peltier04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Peltier04
Nicolas Peltier:
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic. 133-170
- view
  authority control:
- export record
  dblp key:
  - journals/jar/NewbornW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NewbornW04
Monty Newborn, Zongyan Wang:
Octopus: Combining Learning and Parallel Search. 171-218

Volume 33, Number 3-4, October 2004

- view
  authority control:
- export record
  dblp key:
  - journals/jar/KapurV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KapurV04
Deepak Kapur, Laurent Vigneron:
Preface. 219-220
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ghilardi04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ghilardi04
Silvio Ghilardi:
Model-Theoretic Methods in Combined Constraint Satisfiability. 221-249
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZarbaCS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZarbaCS04
Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz:
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. 251-269
- view
  authority control:
- export record
  dblp key:
  - journals/jar/TourE04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/TourE04
Thierry Boy de la Tour, Mnacho Echenim:
On the Complexity of Deduction Modulo Leaf Permutative Equations. 271-317
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Urban04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Urban04
Josef Urban:
MPTP - Motivation, Implementation, First Experiments. 319-339
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FeuilladeGT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FeuilladeGT04
Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong:
Reachability Analysis over Term Rewriting Systems. 341-383

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.