Volume 36, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 36, Issue 4

April 2006

Empirically Successful Automated Reasoning: Systems Issue

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Empirically Successful Automated Reasoning: Systems Issue
Bernd Fischer
Geoff Sutcliffe
Stephan Schulz
OriginalPaper 15 December 2006 Pages: 287 - 287
Things to Know when Implementing KBO
Bernd Löchner
OriginalPaper 15 August 2006 Pages: 289 - 310
Mathematical Induction in Otter-Lambda
Michael Beeson
OriginalPaper 07 October 2006 Pages: 311 - 344
Answer Set Programming Based on Propositional Satisfiability
Enrico Giunchiglia
Yuliya Lierler
Marco Maratea
OriginalPaper 29 September 2006 Pages: 345 - 377
An Integrated Approach to High Integrity Software Verification
Andrew Ireland
Bill J. Ellis
Janet Barnes
OriginalPaper 29 September 2006 Pages: 379 - 410