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 16

> 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 16, Numbers 1-2, March 1996

Automated Mathematical Induction

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BronsardRH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BronsardRH96
François Bronsard, Uday S. Reddy, Robert W. Hasker:
Induction Using Term Orders. 3-37
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KapurS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KapurS96
Deepak Kapur, Mahadevan Subramaniam:
New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. 39-78
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ireland96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ireland96
Andrew Ireland:
Productive Use of Failure in Inductive Proof. 79-111
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KraanBB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KraanBB96
Ina Kraan, David A. Basin, Alan Bundy:
Middle-Out Reasoning for Synthesis and Induction. 113-145
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BasinW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BasinW96
David A. Basin, Toby Walsh:
A Calculus for and Termination of Rippling. 147-180
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KaufmannP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KaufmannP96
Matt Kaufmann, Paolo Pecchiari:
Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem. 181-222

Volume 16, Number 3, June 1996

Studies in Automated Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Veroff96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Veroff96
Robert Veroff:
Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies. 223-239

Research Articles

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Baumgartner96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Baumgartner96
Peter Baumgartner:
Linear and Unit-Resulting Refutations for Horn Theories. 241-319
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AndrewsBINPX96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AndrewsBINPX96
Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi:
TPS: A Theorem-Proving System for Classical Type Theory. 321-353
- view
  authority control:
- export record
  dblp key:
  - journals/jar/WangWY96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WangWY96
Lusheng Wang, S. K. Michael Wong, Yiyu Yao:
On the Completeness of Incidence Calculus. 355-368
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Hedberg96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Hedberg96
Michael Hedberg:
A Type-Theoretic Interpretation of Constructive Domain Theory. 369-425

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.