Volume 27,
1983
- Harry B. Hunt III, Daniel J. Rosenkrantz:
The Complexity of Monadic Recursion Schemes: Executability Problems, Nesting Depth, and Applications.
3-38 BibTeX
- Tsutomu Kamimura, Adrian Tang:
Algebraic Relations and Presentations.
39-60 BibTeX
- Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi:
Two-Dimensional Alternating Turing Machines.
61-83 BibTeX
- Grzegorz Rozenberg, R. Verraedt:
Subset Languages of Petri Nets Part II: Closure Properties.
85-108 BibTeX
- Michael B. Smyth:
The Largest Cartesian Closed Category of Domains.
109-119 BibTeX
- Pavol Duris, Juraj Hromkovic:
One-Way Simple Multihead Finite Automata are not Closed Under Concatenation.
121-125 BibTeX
- Joseph Y. Halpern, John H. Reif:
The Propositional Dynamic Logic of Deterministic, Well-Structured Programs.
127-165 BibTeX
- Hans-Dieter Ehrich, Udo W. Lipeck:
Algebraic Domain Equations.
167-196 BibTeX
- Alexei P. Stolboushkin, Michael A. Taitslin:
The Comparison of the Expressive Power of First-Order Dynamic Logics.
197-209 BibTeX
- Symeon Bozapalidis, Olympia Louscou-Bozapalidou:
The Rank of a Formal Tree Power Series.
211-215 BibTeX
- Akira Maruoka:
Open Maps for Tessellation Automata.
217-224 BibTeX
- Jirí Adámek, Evelyn Nelson:
Separately Continuous Algebras.
225-231 BibTeX
- David P. Dobkin, David G. Kirkpatrick:
Fast Detection of Polyhedral Intersection.
241-253 BibTeX
- Hartmut Ehrig, Hans-Jörg Kreowski:
Compatibility of Parameter Passing and Implementation of Parameterized Data Types.
255-286 BibTeX
- Norbert Blum:
More on the Power of Chain Rules in Context-Free Grammars.
287-295 BibTeX
- Robert D. Tennent:
Semantics of Interference Control.
297-310 BibTeX
- Andrzej Ehrenfeucht, David Haussler, Grzegorz Rozenberg:
On Regularity of Context-Free Languages.
311-332 BibTeX
- Dexter Kozen:
Results on the Propositional mu-Calculus.
333-354 BibTeX
Copyright © Wed Aug 20 20:27:38 2008
by Michael Ley (ley@uni-trier.de)
