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 17

> 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 17, Number 1, August 1996

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Zhang96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Zhang96
Jian Zhang:
Constructing Finite Algebras with FALCON. 1-22
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wos96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wos96
Larry Wos:
The Power of Combining Resonance with Heat. 23-81
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kunen96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kunen96
Kenneth Kunen:
The Semantics of Answer Literals. 83-95
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CodognetD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CodognetD96
Philippe Codognet, Daniel Diaz:
A Simple and Efficient Boolean Solver for Constraint Logic Programming. 97-129
- view
  authority control:
- export record
  dblp key:
  - journals/jar/NarendranR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NarendranR96
Paliath Narendran, Michaël Rusinowitch:
Any Ground Associative-Commutative Theory Has a Finite Canonical System. 131-143

Volume 17, Number 2, October 1996

- view
  authority control:
- export record
  dblp key:
  - journals/jar/LintonS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LintonS96
Steve Linton, Duncan Shand:
Some Group Theoretic Examples with Completion Theorem Provers. 145-169
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FernandezGM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FernandezGM96
José Alberto Fernández, John Grant, Jack Minker:
Model Theoretic Approach to View Updates in Deductive Databases. 171-197
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Thielscher96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Thielscher96
Michael Thielscher:
On the Completeness of SLDENF-Resolution. 199-214
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wos96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wos96a
Larry Wos:
OTTER and the Moufang Identity Problem. 215-257

Volume 17, Number 3, December 1996

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Dimopoulos96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Dimopoulos96
Yannis Dimopoulos:
On Computing Logic Programs. 259-289
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PaulsonG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PaulsonG96
Lawrence C. Paulson, Krzysztof Grabczewski:
Mechanizing Set Theory. 291-323
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChouG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChouG96
Shang-Ching Chou, Xiao-Shan Gao:
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation. 325-347
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChouGZ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChouGZ96
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Generation of Readable Proofs with Geometric Invariants. 349-370
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SidebottomH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SidebottomH96
Greg Sidebottom, William S. Havens:
Nicolog: A Simple Yet Powerful cc(FD) Language. 371-403

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.