researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Journal of Automated Reasoning
Home
Index
Info
Volume
Volume
5
, Issue
4
411
--
428
William R. Bevier
,
Warren A. Hunt Jr.
,
J. Strother Moore
,
William D. Young
.
An Approach to Systems Verification
429
--
460
Warren A. Hunt Jr.
.
Microprocessor Design Verification
461
--
492
J. Strother Moore
.
A Mechanically Verified Language Implementation
493
--
518
William D. Young
.
A Mechanically Verified Code Generator
519
--
530
William R. Bevier
.
Kit and the Short Stack
531
--
532
Larry Wos
.
The Problem of Guaranteeing the Absence of a Complete Set of Reductions
533
--
540
Gregory H. Chisholm
,
Brian T. Smith
,
Anthony S. Wojcik
.
An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods
Volume
5
, Issue
3
257
--
291
Peter B. Andrews
.
On Connections and Higher-Order Logic
293
--
307
Arcot Rajasekar
,
Jorge Lobo
,
Jack Minker
.
Weak Generalized Closed World Assumption
309
--
337
Ulrich Furbach
,
Steffen Hölldobler
,
Joachim F. Schreiber
.
Horn Equational Theories and Paramodulation
339
--
362
Bruce W. Char
,
Alan R. Macnaughton
,
Paul A. Strooper
.
Discovering Inequality Conditions in the Analytic Solution of Optimization Problems
363
--
397
Lawrence C. Paulson
.
The Foundation of a Generic Theorem Prover
399
--
401
Larry Wos
.
The Problem of Guaranteeing the Existence of a Complete Set of Reductions
403
--
408
Richard Schmid
,
Hans-Albert Schneider
,
Thomas Filkorn
.
Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle
Volume
5
, Issue
2
127
--
139
Avra Cohn
.
The Notion of Proof in Hardware Verification
141
--
165
Tie-Cheng Wang
,
Rick Stevens
.
Solving Open Problems in Right Alternative Rings with Z-Module Reasoning
167
--
205
Teodor C. Przymusinski
.
On the Declarative and Procedural Semantics of Logic Programs
207
--
233
Kwong-Sak Leung
,
W. Lam
.
A Fuzzy Expert System Shell Using Both Exact and Inexact Reasoning
235
--
237
Larry Wos
.
The Problem of Determining the Size of a Complete Set of Reductions
239
--
255
Cynthia A. Wick
,
William McCune
.
Automated Reasoning about Elementary Point-Set Topology
Volume
5
, Issue
1
1
--
23
Vladimir Lifschitz
.
What Is the Inverse Method?
25
--
35
Dallas Lankford
.
Non-Negative Integer Basis Algorithms for Linear Equations with Integer Coefficients
37
--
47
David A. Wolfram
.
Intractable Unifiability Problems and Backtracking
49
--
65
Tong Gao Tang
.
Temporal Logic CTL + PROLOG
67
--
91
S. Purushothaman
,
P. A. Subrahmanyam
.
Mechanical Certification of Systolic Algorithms
93
--
95
Larry Wos
.
The Problem of Finding an Inference Rule for Set Theory
97
--
118
Art Quaife
.
Automated Development of Tarski s Geometry