Journal of Automated Reasoning 1992: Vol 8 Table of Contents

3 Pages·1992·0.67 MB·English

Journal of Automated Reasoning 8 (1992)
Contents to Volume 8
Volume 8 No.1 February 1992
Publisher’s Announcement
LARRY WOS / A Section is Born: Studies in Automated Reasoning
Studies in Automated Reasoning:
DAVID M. RUSSINOFF / A Mechanical Proof of Quadratic Reciprocity
ANITA JINDAL, ROSS OVERBEEK, and WALDO C. KABAT / Exploitation of
Parallel Processing for Implementing High-Performance Deduction Systems
ERIC DOMENJOUD / A Technical Note on AC-Unification. The Number of
Minimal Unifiers of the Equation 0x; + *-* + Ox, = ac By, + *** + Byg
LARRY M. HINES / Completeness of a Prover for Dense Linear Orders
SHYI-MING CHEN, JYH-SHENG KE, and JIN-FU CHANG / An Inexact
Reasoning Algorithm Based on Fuzzy Rule Matrix Transformations
ART QUAIFE / Automated Deduction in von Neumann—Bernays—Gédel Set
Theory
Addresses of Editorial Board
Volume 8 No.2. April 1992
SOUMITRA BOSE, EDMUND M. CLARKE, DAVID E. LONG, and SPIRO
MICHAYLOV / PARTHENON: A Parallel Theorem Prover for Non-Horn
Clauses
R. LETZ, J. SCHUMANN, S. BAYERL, and W. BIBEL / SETHEO: A High-
Performance Theorem Prover
ROBERT VEROFF and LARRY WOS / The Linked Inference Principle, I: The
Formal Treatment
JAMES D. BAKER and SHAHRIAR ZAND-BIGLARI / An Integral Theorem
Prover and the Role of Proof Planning
J. C. SHEPHERDSON / SLDNF-Resolution with Equality
Basic Research Problems:
LARRY WOS / The Problem of Choosing Between Using and Avoiding
Equality Predicates
JOURNAL OF AUTOMATED REASONING
Volume 8 No.3 June 1992
DAVE BARKER-PLUMMER / Gazing: An Approach to the Problem of Definition
and Lemma Use
CHITTA R. BARAL and V. S. SUBRAHMANIAN / Stable and Extension Class
Theory for Logic Programs and Default Logics
ROBERT J. HALL / Comparing Parameter Schemes for Propositional Reasoning:
An Empirical Study
MARK F. RUSSO and RICHARD L. PESKIN / Automatically Identifying the
Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value
Problems
Basic Research Problems:
LARRY WOS / The Problem of Reasoning from Inequalities
Author Index to Volume 8
Subject Index to Volume 8