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 23

> 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 23, Number 1, July 1999

- view
  authority control:
- export record
  dblp key:
  - journals/jar/SutcliffeS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SutcliffeS99
Geoff Sutcliffe, Christian B. Suttner:
The CADE-15 ATP System Competition. 1-23
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KuriharaK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KuriharaK99
Masahito Kurihara, Hisashi Kondo:
Completion for Multiple Reduction Orderings. 25-42
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ramsdell99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ramsdell99
John D. Ramsdell:
The Tail-Recursive SECD Machine. 43-62
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RecioV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RecioV99
Tomás Recio, M. Pilar Vélez:
Automatic Discovery of Theorems in Elementary Geometry. 63-82
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BrodskyLLM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BrodskyLLM99
Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher:
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. 83-104

Volume 23, Number 2, August 1999

- view
  authority control:
- export record
  dblp key:
  - journals/jar/HermannK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HermannK99
Miki Hermann, Phokion G. Kolaitis:
Computational Complexity of Simultaneous Elementary Matching Problems. 107-136
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Gelder99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Gelder99
Allen Van Gelder:
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy. 137-193

Volume 23, Numbers 3-4, November 1999

- view
  authority control:
- export record
  dblp key:
  - journals/jar/RudnickiT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RudnickiT99
Piotr Rudnicki, Andrzej Trybulec:
On Equivalents of Well-Foundedness. 197-234
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KammullerP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KammullerP99
Florian Kammüller, Lawrence C. Paulson:
A Formal Proof of Sylow's Theorem. 235-264
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChouP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChouP99
Ching-Tsun Chou, Doron A. Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking. 265-298
- view
  authority control:
- export record
  dblp key:
  - journals/jar/NaraschewskiN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NaraschewskiN99
Wolfgang Naraschewski, Tobias Nipkow:
Type Inference Verified: Algorithm W in Isabelle/HOL. 299-318
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DuboisM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DuboisM99
Catherine Dubois, Valérie Ménissier-Morain:
Certification of a Type Inference Tool for ML: Damas-Milner within Coq. 319-346
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Jaume99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Jaume99
Mathieu Jaume:
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions. 347-371
- view
  authority control:
- export record
  dblp key:
  - journals/jar/McKinnaP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/McKinnaP99
James McKinna, Robert Pollack:
Some Lambda Calculus and Type Theory Formalized. 373-409
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Reus99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Reus99
Bernhard Reus:
Formalizing Synthetic Domain Theory. 411-444
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Goldschlag99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Goldschlag99
David M. Goldschlag:
A Mechanization of Unity in PC-NQTHM-92. 445-498

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.