JCSS, Volume 27

Volume 27, Number 1, August 1983

Stephan Heilbrunner: Tests for the LR-, LL-, and LC-Regular Conditions. 1-13 BibTeX
Uwe Schöning: A Low and a High Hierarchy within NP. 14-28 BibTeX
Martha Steenstrup, Michael A. Arbib, Ernest G. Manes: Port Automata and the Algebra of Concurrent Processes. 29-50 BibTeX
Ichiro Suzuki, Tadao Murata: A Method for Stepwise Refinement and Abstraction of Petri Nets. 51-76 BibTeX
James A. Storer: On the Complexity of Chess. 77-100 BibTeX
Kosaburo Hashiguchi: Representation Theorems on Regular Languages. 101-115 BibTeX
Satoru Miyano: Remarks on Multihead Pushdown Automata and Multihead Stack Automata. 116-124 BibTeX
Masanobu Ito, Nobuyasu Osato, Masakazu Nasu: Linear Cellular Automata over Z_m. 125-140 BibTeX

Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Recursion and Iteration in Continuous Theories: The "M-Construction". 148-164 BibTeX
Hartmut Schmeck: Algebraic Characterization of Reducible Flowcharts. 165-199 BibTeX
Francesco Parisi-Presicce: Extensions of Iterative Congruences on Free Iterative Algebras. 200-220 BibTeX
Douglas R. Troeger: An Axiomatization of D-scheme Strong Equivalence. 221-224 BibTeX
Stephen L. Bloom: All Solutions of a System of Recursion Equations in Infinite Trees and Other Contraction Theories. 225-255 BibTeX
Michael O. Rabin: Transaction Protection by Beacons. 256-267 BibTeX
Joseph A. Goguen, José Meseguer: Correctness of Recursive Parallel Nondeterministic Flow Programs. 268-290 BibTeX
Zoltán Ésik: Algebras of Iteration Theories. 291-303 BibTeX
Edward K. Blum, Francesco Parisi-Presicce: Implementation of Data Types by Algebraic Methods. 304-330 BibTeX

Richard Hull: Acyclic Join Dependency and Data Base Projections. 331-349 BibTeX
Nancy A. Lynch, Michael J. Fischer: A Technique for Decomposing Algorithms Which Use a Single Shared Variable. 350-377 BibTeX
Bernard R. Hodgson, Clement F. Kent: A Normal Form for Arithmetical Representation of NP-Sets. 378-388 BibTeX
Egidio Astesiano, Gerardo Costa: The Insensitivity Theorem for Nonreducing Reflexive Types. 389-399 BibTeX
Richard J. Lorentz, David B. Benson: Deterministic and Nondeterministic Flowchart Interpretations. 400-433 BibTeX
Ludwig Staiger: Finite-State omega-Languages. 434-448 BibTeX