Volume 36,
1985
- Manfred Broy:
On the Herbrand-Kleene Universe for Nondeterministic Computations.
1-19 BibTeX
- Joost Engelfriet:
Determinacy - (Observation Equivalence = Trace Equivalence).
21-25 BibTeX
- Ryszard Janicki:
Transforming Sequential Systems into Concurrent Systems.
27-58 BibTeX
- Norbert Blum:
An Omega(n-4/3) Lower Bound on the Monotone Network Complexity of the n-th Degree Convolution.
59-69 BibTeX
- Michael L. Tiomkin, Johann A. Makowsky:
Propositional Dynamic Logic with Local Assignments.
71-87 BibTeX
- Yoshihide Igarashi:
A Pumping Lemma for Real-Time Deterministic Context-Free Languages.
89-97 BibTeX
- Clelia de Felice:
Construction de Codes Factorisants.
99-108 BibTeX
- Sadaki Hirose, Masaaki Yoneda:
On the Chomsky and Stanley's Homomorphic Characterization of Context-Free Languages.
109-112 BibTeX
- Keijo Ruohonen:
On Equality of Multiplicity Sets of Regular Languages.
113-117 BibTeX
- Bruno Scarpellini:
Complex Boolean Networks Obtained by Diagonalization.
119-125 BibTeX
- Glynn Winskel:
On Powerdomains and Modality.
127-137 BibTeX
- Norman E. Fenton, Robin W. Whitty, A. A. Kaposi:
A Generalised Mathematical Theory of Structured Programming.
145-171 BibTeX
- Ivan Hal Sudborough, Emo Welzl:
Complexity and Decidability for Chain Code Picture Languages.
173-202 BibTeX
- Jiri Demel, Marie Demlová, Václav Koubek:
Fast Algorithms Constructing Minimal Subalgebras, Congruences, and Ideals in a Finite Algebra.
203-216 BibTeX
- Michael Kaminski:
A Classification of omega-Regular Languages.
217-229 BibTeX
- Eric Allender, Maria M. Klawe:
Improved Lower Bounds for the Cycle Detection Problem.
231-237 BibTeX
- Ronald Fagin, Maria M. Klawe, Nicholas Pippenger, Larry J. Stockmeyer:
Bounded-Depth, Polynomial-Size Circuits for Symmetric Functions.
239-250 BibTeX
- Luis Fariñas del Cerro, Ewa Orlowska:
DAL - A Logic for Data Analysis.
251-264 BibTeX
- Mark Jerrum:
The Complexity of Finding Minimum-Length Generator Sequences.
265-289 BibTeX
- Hiroshi Matsuno, Katsushi Inoue, Hiroshi Taniguchi, Itsuo Takanami:
Alternating Simple Multihead Finite Automata.
291-308 BibTeX
- Walter Keller-Gehrig:
Fast Algorithms for the Characteristic Polynomial.
309-317 BibTeX
- Krzysztof Diks:
Embeddings of Binary Trees in Lines.
319-331 BibTeX
- Helmut Alt:
Multiplication is the Easiest Nontrivial Arithmetic Function.
333-339 BibTeX
- Wojciech Rytter, Marek Chrobak:
A Characterization of Reversal-Bounded Multipushdown Machine Languages.
341-344 BibTeX
- Graham Farr, Colin McDiarmid:
The Compexity of Counting Homeomorphs.
345-348 BibTeX
Copyright © Sun May 17 00:23:52 2009
by Michael Ley (ley@uni-trier.de)
