Volume 47,
1986
- Zoltán Ésik, Pál Dömösi:
Complete Classes of Automata for the alpha-0-Product.
1-14 BibTeX
- Karel Culik II, Sheng Yu:
Real-Time, Pseudo Real-Time, and Linear-Time ITA.
15-26 BibTeX
- Paliath Narendran, Friedrich Otto:
The Problems of Cyclic Equality and Conjugacy for Finite Complete Rewriting Systems.
27-38 BibTeX
- J. Howard Johnson:
Rational Equivalence Relations.
39-60 BibTeX
- Andrzej Pelc:
Lie Patterns in Search Procedures.
61-69 BibTeX
- Karel Culik II, Juhani Karhumäki:
The Equivalence of Finite Valued Transducers (On HDT0L Languages) is Decidable.
71-84 BibTeX
- Leslie G. Valiant, Vijay V. Vazirani:
NP is as Easy as Detecting Unique Solutions.
85-93 BibTeX
- Jean-Pierre Pécuchet:
On the Complementation of Büchi Automata.
95-98 BibTeX
- Joos Heintz:
On Polynomials with Symmetric Galois Group which Are Easy to Compute.
99-105 BibTeX
- Piotr Wyrostek:
On the Size of Unambiguous Context-Free Grammars.
107-110 BibTeX
- Patrick W. Dymond:
On Nondeterminism in Parallel Computation.
111-120 BibTeX
- Pekka Orponen:
A Classification of Complexity Core Lattices.
121-130 BibTeX
- Klaus W. Wagner:
Some Observations on the Connection Between Counting an Recursion.
131-147 BibTeX
- Marek Chrobak:
Finite Automata and Unary Languages.
149-158 BibTeX
- V. Rajkumar Dare, Rani Siromoney:
Subword Topology.
159-168 BibTeX
- Steven Homer:
On Simple and Creative Sets in NP.
169-180 BibTeX
- Jean-Claude Spehner:
Le Calcul Rapide des Melanges de Deux Mots.
171-203 BibTeX
- Lefteris M. Kirousis, Christos H. Papadimitriou:
Searching and Pebbling.
205-218 BibTeX
- Rainer Parchmann, Jürgen Duske:
Self-Embedding Indexed Grammars.
219-223 BibTeX
- Friedrich Otto:
The Undecidability of Self-Embedding for Finite Semi-Thue and Thue Systems.
225-232 BibTeX
- Mauricio Karchmer:
Two Time-Space Tradeoffs for Element Distinctness.
237-246 BibTeX
- Yael Maon, Amiram Yehudai:
Balance of Many-Valued Transductions and Equivalence Problems.
247-262 BibTeX
- Ker-I Ko, Timothy J. Long, Ding-Zhu Du:
On One-Way Functions and Polynomial-Time Isomorphisms.
263-276 BibTeX
- Yael Maon, Baruch Schieber, Uzi Vishkin:
Parallel Ear Decomposition Search (EDS) and st-Numbering in Graphs.
277-298 BibTeX
- Ker-I Ko:
On the Continued Fraction Representation of Computable Real Numbers.
299-313 BibTeX
- Wojciech Rytter:
On the Complexity of Parallel Parsing of General Context-Free Languages.
315-321 BibTeX
- J. W. Hong, Q. Zuo:
Lower Bounds on Communication Overlap of Networks.
323-328 BibTeX
- Andrzej Szalas:
Concerning the Semantic Consequence Relation in First-Order Temporal Logic.
329-334 BibTeX
- Jean-Luc Deleage, Laurent Pierre:
The Rational Index of the Dyck Language D'*-1.
335-343 BibTeX
- Luis Fariñas del Cerro, Ewa Orlowska:
Corrigendum: DAL-A Logic for Data Analysis.
345 BibTeX
,
->TCS 36(2,
3)(1985) 251-264
Copyright © Sun May 17 00:23:54 2009
by Michael Ley (ley@uni-trier.de)
