Volume 8,
1979
- Eljas Soisalon-Soininen:
On the Covering Problem for Left-Recursive Grammars.
1-11 BibTeX
- Mitchell Wand:
Fixed-Point Constructions in Order-Enriched Categories.
13-30 BibTeX
- Wolfgang Bibel:
Tautology Testing with a Generalized Matrix Reduction Method.
31-44 BibTeX
- Franco P. Preparata, David E. Muller:
Finding the Intersection of n Half-Spaces in Time O(n log n).
45-55 BibTeX
- Peter Johansen:
The Generating Function of the Number of Subpatterns of a D0L Sequence.
57-68 BibTeX
- Kosaburo Hashiguchi:
A Decision Procedure for the Order of Regular Events.
69-72 BibTeX
- Krzysztof R. Apt, Jan A. Bergstra, Lambert G. L. T. Meertens:
Recursive Assertions are not enough - or are they?
73-87 BibTeX
- Mila E. Majster-Cederbaum:
Data Types, Abstract Data Types and Their Specification Problem.
89-127 BibTeX
- John E. Hopcroft, Jean-Jacques Pansiot:
On the Reachability Problem for 5-Dimensional Vector Addition Systems.
135-159 BibTeX
- Helmut Prodinger, Friedrich J. Urbanek:
Language Operators Related to Init.
161-175 BibTeX
- Theodore P. Baker, Alan L. Selman:
A Second Step Toward the Polynomial Hierarchy.
177-187 BibTeX
- Leslie G. Valiant:
The Complexity of Computing the Permanent.
189-201 BibTeX
- Pavel Pudlák, Frederick N. Springsteel:
Complexity in Mechanized Hypothesis Formation.
203-225 BibTeX
- Petr Hájek:
Arithmetical Hierarchy and Complexity of Computation.
227-237 BibTeX
- Juris Hartmanis:
Relations Between Diagonalization, Proof Systems, and Complexity Gaps.
239-253 BibTeX
- Jacques Morgenstern:
Une Extension du Theoreme de Winograd.
255-259 BibTeX
- André Arnold, Michel Latteux:
A New Proof of two Theorems about Rational Transductions.
261-263 BibTeX
- Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca:
A Discrimination Algorithm Inside lambda-beta-Calculus.
265-292 BibTeX
- Joffroy Beauquier:
Generateurs Algebriques et Systemes de Paires Iterantes.
293-323 BibTeX
- Calvin C. Elgot, John C. Shepherdson:
A Semantically Meaningful Characterization of Reducible Flowchart Schemes.
325-357 BibTeX
- Shmuel Winograd:
On Multiplication in Algebraic Extension Fields.
359-377 BibTeX
- Danny Dolev:
Commutation Preperties and Generating Sets Characterize Slices of Various Synchronization Primitives.
379-391 BibTeX
- J. Roger Hindley:
The Discrimination Theorem Holds for Combinatory Weak Reduction.
393-394 BibTeX
- Jean-Michel Autebert:
Une Note sur le Cylindre des Langages Déterministes.
395-399 BibTeX
Copyright © Fri Sep 5 20:16:23 2008
by Michael Ley (ley@uni-trier.de)
