Volume 15,
1981
- Gunther Schmidt:
Programs as Partial Graphs I: Flow Equivalence and Correctness.
1-25 BibTeX
- Ronald V. Book:
Bounded Query Machines: On NP and PSPACE.
27-39 BibTeX
- Ronald V. Book, Celia Wrathall:
Bounded Query Machines: On NP( ) and NPQERY( ).
41-50 BibTeX
- Toshiro Araki, Toyohiko Kagimasa, Nobuki Tokura:
Relations of Flow Languages to Petri Net Languages.
51-75 BibTeX
- Daniel Lazard:
Resolution des Systemes d'Equations Algebriques.
77-110 BibTeX
- Charles E. Hughes, Stanley M. Selkow:
The Finite Power Property for Context-Free Languages.
111-114 BibTeX
- Stephan Heilbrunner:
A Parsing Automata Approach to LR Theory.
117-157 BibTeX
- Gunther Schmidt:
Programs as Partial Graphs II: Recursion.
159-179 BibTeX
- Lawrence H. Landweber, Richard J. Lipton, Edward L. Robertson:
On the Structure of Sets in NP and Other Complexity Classes.
181-200 BibTeX
- A. Alder, Volker Strassen:
On the Algorithmic Complexity of Associative Algebras.
201-211 BibTeX
- Giorgio Germano, Andrea Maggiolo-Schettini:
Sequence Recursiveness Without Cylindrification and Limited Register Machines.
213-221 BibTeX
- James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
More on Advice on Structuring Compilers and Proving them Correct.
223-249 BibTeX
- Azaria Paz, Shlomo Moran:
Non Deterministic Polynomial Optimization Problems and their Approximations.
251-277 BibTeX
- E. W. Leggett Jr., Daniel J. Moore:
Optimization Problems and the Polynomial Hierarchy.
279-289 BibTeX
- Howard P. Katseff, Michael Sipser:
Several Results in Program Size Complexity.
291-309 BibTeX
- Michael C. Loui:
A Space Bound for One-Tape Multidimensional Turing Machines.
311-320 BibTeX
- Claude Benzaken, S. Foldes:
Complexity of Graph Embeddability Problems.
321-328 BibTeX
- Richard Statman:
On the Existence of Closed Terms in the Typed lambda Calculus II: Transformations of Unification Problems.
329-338 BibTeX
Copyright © Sun May 17 00:23:47 2009
by Michael Ley (ley@uni-trier.de)
