Volume 40,
1985
- Juhani Karhumäki:
On Three-Element Codes.
3-11 BibTeX
- Antonio Restivo:
Rational Languages and the Burnside Problem.
13-30 BibTeX
- Anselm Blumer, J. Blumer, David Haussler, Andrzej Ehrenfeucht, M. T. Chen, Joel I. Seiferas:
The Smallest Automaton Recognizing the Subwords of a Text.
31-55 BibTeX
- Uwe Schöning:
Robust Algorithms: A Different Approach to Oracles.
57-66 BibTeX
- Robert Paige, Robert Endre Tarjan, Robert Bonic:
A Linear Time Solution to the Single Function Coarsest Partition Problem.
67-84 BibTeX
- G. Bauer:
n-Level Rewriting Systems.
85-99 BibTeX
- Ronald V. Book, Friedrich Otto:
On the Verifiability of Two-Party Algebraic Protocols.
101-130 BibTeX
- Walter Bucher, Andrzej Ehrenfeucht, David Haussler:
On Total Regulators Generated by Derivation Relations.
131-148 BibTeX
- IJsbrand Jan Aalbersberg, Grzegorz Rozenberg:
CTS Systems and Petri Nets.
149-162 BibTeX
- Kathleen Ayers:
Deque Automata and a Subfamily of Context-Sensitive Languages which Contains all Semilinear Bounded Languages.
163-174 BibTeX
- Kojiro Kobayashi:
On Proving Time Constructibility of Functions.
215-225 BibTeX
- Ming-Deh A. Huang, Karl J. Lieberherr:
Implications of Forbidden Structures for Extremal Algorithmic Problems.
195-210 BibTeX
- Gianfranco Mascari, Marisa Venturini Zilli:
While-Programs with Nondeterministic Assignments and the Logic Alna.
211-235 BibTeX
- José L. Balcázar, Ronald V. Book, Uwe Schöning:
On Bounded Query Machines.
237-243 BibTeX
- Taiho Kanaoka, Shingo Tomita:
Homogeneous Decomposition of Stochastic Systems.
245-255 BibTeX
- S. Kamal Abdali, B. David Saunders:
Transitive Closure and Related Semiring Properties via Eliminants.
257-274 BibTeX
- Françoise Fogelman-Soulié:
Parallel and Sequential Computation on Boolean Networks.
275-300 BibTeX
- A. Ginzburg, Michael Yoeli:
Reducibility of Synchronization Structures.
301-314 BibTeX
- Friedrich J. Urbanek:
On Greibach Normal Form Construction.
315-317 BibTeX
- Michael Kaminski:
A Lower Bound for Polynomial Multiplication.
319-322 BibTeX
- Mukkai S. Krishnamoorthy, Paliath Narendran:
On Recursive Path Ordering.
323-328 BibTeX
- Georges Gonthier:
Algebraic Calculi of Processes and Net Expressions.
329-337 BibTeX
Copyright © Wed Jun 4 19:21:06 2008
by Michael Ley (ley@uni-trier.de)
