Volume 21,
1982
- Timothy J. Long:
Strong Nondeterministic Polynomial-Time Reducibilities.
1-25 BibTeX
- Satoru Miyano:
Two-Way Deterministic Multi-Weak-Counter Machines.
27-37 BibTeX
- Pavol Duris, Zvi Galil:
Fooling a two Way Automaton or one Pushdown Store is better than one Counter for two Way Machines.
39-53 BibTeX
- Dirk Janssens, Grzegorz Rozenberg:
Graph Grammars with Neighbourhood-Controlled Embedding.
55-74 BibTeX
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Representation Theorems Using DOS Languages.
75-90 BibTeX
- Robert Cori, Antonio Machi:
Construction of Maps with Prescribed Automorphism Group.
91-98 BibTeX
- X. Berenguer, J. Díaz, L. H. Harper:
A Solution of the Sperner-Erdös Problem.
99-103 BibTeX
- Leslie M. Goldschlager, Ralph A. Shaw, John Staples:
The Maximum Flow Problem is Log Space Complete for P.
105-111 BibTeX
- Andrzej Ehrenfeucht, Juhani Karhumäki, Grzegorz Rozenberg:
The (Generalized) Post Correspondence Problem with Lists Consisting of two Words is Decidable.
119-144 BibTeX
- Michael C. Loui:
Simulations Among Multidimensional Turing Machines.
145-161 BibTeX
- W. Ainhirn:
Marvellous Interpretations Differ Little but Decisively from Ordinary Interpretations of EOL Forms.
163-178 BibTeX
- Bogdan S. Chlebus:
On the Computational Complexity of Satisfiability in Propositional Logics of Programs.
179-212 BibTeX
- Ingo Wegener:
Boolean Functions whose Monotone Complexity is of Size n2/log n.
213-224 BibTeX
- Stuart W. Margolis:
On the Syntactic Transformation Semigroup of a Language Generated by a Finite Biprefix Code.
225-230 BibTeX
- L. Csirmaz:
Determinateness of Program Equivalence over Peano Axioms.
231-235 BibTeX
- Burkhard Monien, Ivan Hal Sudborough:
On Eliminating Nondeterminism from Turing Machines which Use less than Logarithm Worktape Space.
237-253 BibTeX
- Clement F. Kent, Bernard R. Hodgson:
An Arithmetical Characterization of NP.
255-267 BibTeX
- Jan A. Bergstra, John-Jules Ch. Meyer:
On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic.
269-279 BibTeX
- Klaus Indermark:
On Rational Definitions in Complete Algebras without Rank.
281-313 BibTeX
- Józef Winkowski:
An Algebraic Description of System Behaviours.
315-340 BibTeX
- Sorin Istrail:
Some Remarks on Non-Algebraic Adherences.
341-349 BibTeX
- Petr Kurka:
Ergodic Languages.
351-355 BibTeX
- Tom Head, John Wilkinson:
Finite DOL Languages and Codes.
357-361 BibTeX
Copyright © Sun May 17 00:23:49 2009
by Michael Ley (ley@uni-trier.de)
