Volume 6,
Numbers 1-3,
1992
Logic and Combinatorics
- John V. Franco, J. Michael Dunn, William H. Wheeler:
Recent Work at the Interface of Logic, Combinatorics and Computer Science.
1-15 BibTeX
- Peter Dolan:
Undecidable Statements and Random Graphs.
17-25 BibTeX
- William M. Farmer:
The Kreisel Length-of-Proof Problem.
27-55 BibTeX
- Peter Clote:
ALOGTIME and a Conjecture of S. A. Cook.
57-106 BibTeX
- Jan Krajícek, Gaisi Takeuti:
On Induction-Free Provability.
107-125 BibTeX
- Spyro-Giorgio Mantzivis:
Circuits in Bounded Arithmetic, Part I.
127-156 BibTeX
- Alasdair Urquhart:
The Relative Complexity of Resolution and Cut-Free Gentzen Systems.
157-168 BibTeX
- Andreas Goerdt:
Davis-Putnam Resolution versus Unrestricted Resolution.
169-184 BibTeX
- John W. Rosenthal, Ewald Speckenmeyer, Rainer Kemp:
Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior.
185-200 BibTeX
- John W. Rosenthal:
The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II.
201-234 BibTeX
- T. H. Hu, Chuan Yi Tang, Richard C. T. Lee:
An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving.
235-251 BibTeX
- Michel Minoux:
The Unique Horn-Satisfiability Problem and Quadratic Boolean Equations.
253-266 BibTeX
- R. Lee Panetta:
A Finite Intersection Property and the Loeb Measurability of Ultrafilters on Hyperfinite Sets.
267-270 BibTeX
- John N. Hooker:
Generalized Resolution for 0-1 Linear Inequalities.
271-286 BibTeX
- Daniele Mundici:
Turing Complexity of Behncke-Leptin C*-algebras with a Two-Point Dual.
287-293 BibTeX
Volume 6,
Number 4,
1992
Copyright © Tue May 27 18:19:31 2008
by Michael Ley (ley@uni-trier.de)
