Volume 43,
1986
- Jerzy W. Grzymala-Busse, Zamir Bavel:
Characterization of State-Independent Automata.
1-10 BibTeX
- Arnold Scheuing:
Decomposition of Linear Automata over Residue Rings Into Shift-Registers.
11-30 BibTeX
- Christian Ronse:
A Topological Characterization of Thinning.
31-41 BibTeX
- Leslie M. Goldschlager, Ian Parberry:
On the Construction of Parallel Computers from Various Bases of Boolean Functions.
43-58 BibTeX
- Roman R. Redziejowski:
Infinite-Word Languages and Continuous Mappings.
59-79 BibTeX
- Ewa Orlowska:
Semantic Analysis of Inductive Reasoning.
81-89 BibTeX
- Georges Hansel:
Une Démonstration Simple du Théorème de Skolem-Mahler-Lech.
91-98 BibTeX
- Peter Clote:
On the Finite Containment Problem for Petri Nets.
99-105 BibTeX
- Peter A. Lindsay:
Alternation and omega-Type Turing Acceptors.
107-115 BibTeX
- Michael H. Albert, J. Lawrence:
Test Sets for Finite Substitutions.
117-122 BibTeX
- Rudolf Berghammer, Hans Zierer:
Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.
123-147 BibTeX
- Jan Heering:
Partial Evaluation and omega-Completeness of Algebraic Specifications.
149-167 BibTeX
- Mark Jerrum, Leslie G. Valiant, Vijay V. Vazirani:
Random Generation of Combinatorial Structures from a Uniform Distribution.
169-188 BibTeX
- François Fages, Gérard P. Huet:
Complete Sets of Unifiers and Matchers in Equational Theories.
189-200 BibTeX
- Ingo Wegener:
More on the Complexity of Slice Functions.
201-211 BibTeX
- Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers:
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.
213-238 BibTeX
- Gad M. Landau, Uzi Vishkin:
Efficient String Matching with k Mismatches.
239-249 BibTeX
- Ana Pasztor, Richard Statman:
Scott Induction and Closure under omega-Sups.
251-263 BibTeX
- Aldo de Luca, Antonio Restivo:
Star-Free Sets of Integers.
265-275 BibTeX
- Ichiro Suzuki, Y. Motohashi, Kenichi Taniguchi, Tadao Kasami, Tatsuaki Okamoto:
Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions.
277-291 BibTeX
- Jirí Adámek, Jan Reiterman, Evelyn Nelson:
Continuous Semilattices.
293-313 BibTeX
- Ahmed Saoudi:
Variétés d'Automates Descendants d'Arbres Infinis.
315-335 BibTeX
- Keith Edwards:
The Complexity of Colouring Problems on Dense Graphs.
337-343 BibTeX
- Donald B. Johnson:
A Simple Proof of a Time-Space Trade-Off for Sorting with Linear Comparisons.
345-350 BibTeX
Copyright © Sun May 17 00:23:53 2009
by Michael Ley (ley@uni-trier.de)
