Volume 41, 1985
- Gheorghe Paun:
A Variant of Random Context Grammars: Semi-Conditional Grammars.
1-17 BibTeX
- Eric Goles Ch.:
Dynamics of Positive Automata Networks.
19-32 BibTeX
- Virgil Emil Cazanescu:
On Context-Free Trees.
33-50 BibTeX
- Philippe Gohon:
An Algorithm to Decide Whether a Rational Subset of N^k is Recognizable.
51-59 BibTeX
- Evelyne Barbin-Le Rest, Michel Le Rest:
Sur la Combinatoire des Codes à Deux Mots.
61-80 BibTeX
- Costas S. Iliopoulos:
Computing in General Abelian Groups is Hard.
81-93 BibTeX
- Susumu Hayashi:
Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus.
95-104 BibTeX
- Yael Maon:
On the Equivalence Problem of Compositions of Morphisms and Inverse Morphisms on Context-Free Languages.
105-107 BibTeX
- Jean-Yves Thibon:
Integrité des Algèbres de Séries Formelles sur un Alphabet Partiellement Commutatif.
109-112 BibTeX
- Martin W. Bunder:
Possible Forms of Evaluation or Reduction in Martin-Löf Type Theory.
113-120 BibTeX
- Michael H. Albert, J. Lawrence:
A Proof of Ehrenfeucht's Conjecture.
121-123 BibTeX
- Bettina Helfrich:
Algorithms to Construct Minkowski Reduced an Hermite Reduced Lattice Bases.
125-139 BibTeX
- Burkhard Monien, Ivan Hal Sudborough:
Bandwidth Constrained NP-Complete Problems.
141-167 BibTeX
- Elias Dahlhaus, Haim Gaifman:
Concerning Two-Adjacent Context-Free Languages.
169-184 BibTeX
- Wolfgang Reisig:
Petri Nets with Individual Tokens.
185-213 BibTeX
- Juhani Karhumäki:
A Property of Three-Element Codes.
215-222 BibTeX
- Etsuji Tomita, Kazushi Seino:
A Weaker Sufficient Condition for the Equivalence of a Pair of DPDA's to be Decidable.
223-230 BibTeX
- Oscar H. Ibarra, Michael A. Palis, Sam M. Kim:
Fast Parallel Language Recognition by Cellular Automata.
231-246 BibTeX
- Elisabeth Pelz:
On the Complexity of Theories of Permutations.
247-269 BibTeX
- John Grant, Jack Minker:
Inferences for Numerical Dependencies.
271-287 BibTeX
- Sachio Hirokawa:
Complexity of the Combinator Reduction Machine.
289-303 BibTeX
- Giora Slutzki:
Alternating Tree Automata.
305-318 BibTeX
- H.-J. Stoß:
The Complexity of Evaluating Interpolation Polynomials.
319-323 BibTeX
- Friedhelm Meyer auf der Heide:
Simulating Probabilistic by Deterministic Algebraic Computation Trees.
325-330 BibTeX
- Katsushi Inoue, Itsuo Takanami, Roland Vollmar:
Alternating On-Line Turing Machines with Only Universal States and Small Space Bounds.
331-339 BibTeX
Copyright © Sun May 17 00:23:53 2009
by Michael Ley (ley@uni-trier.de)
