Volume 7,
Number 1,
March 1991
- Donald W. Loveland:
Near-Horn Prolog and Beyond.
1-26
- Peter Padawitz:
Inductive Expansion: A Calculus for Verifying and Synthesizing Functional and Logic Programs.
27-103
Basic Research Problems
- Larry Wos:
The Problem of Finding a Restriction Strategy More Effective Than the Set of Support Strategy.
105-107
Problem Corner
- Matt Kaufmann:
Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm.
109-158
Volume 7,
Number 2,
June 1991
- Wu Wen-Tsün:
Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics.
171-191
- Domenico Cantone:
Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators.
193-230
- Domenico Cantone, Jacob T. Schwartz:
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs.
231-256
- Alfredo Ferro:
Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice Operators.
257-270
- Franco Parlamento, Alberto Policriti:
Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability.
271-284
Basic Research Problems
- Peter B. Andrews:
More on the Problem of Finding a Mapping between Clause Representation and Natural Deduction Representation.
285-286
Problem Corner
- Art Quaife:
Unsolved Problems in Elementary Number Theory.
287-300
Volume 7,
Number 3,
September 1991
Basic Research Problems
- Larry Wos:
The Problem of Choosing the Type of Subsumption to Use.
435-438
Problem Corner
- Matthew Wilding:
Proving Matijasevich's Lemma with a Default Arithmetic Strategy.
439-446
Volume 7,
Number 4 December 1991
Basic Research Problems
- Larry Wos:
The Problem of Choosing the Representation, Inference Rule, and Strategy.
631-634
Problem Corner
Last update Tue Feb 14 04:19:59 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page