JCSS, Volume 10

Volume 10, Number 1, February 1975

Joseph A. Goguen: Discrete-Time Machines in Closed Monoidal Categories. I. 1-43 BibTeX
Victor Harnik: Effective Proper Procedures and Universal Classes of Program Schemata. 44-61 BibTeX
Ivan Hal Sudborough: On Tape-Bounded Complexity Classes and Multihead Finite Automata. 62-76 BibTeX
Serafino Amoroso, Gerald Cooper, Yale N. Patt: Some Clarifications of the Concept of a Garden-of-Eden Configuration. 77-82 BibTeX
James C. Owings: Splitting a Context-Sensitive Set. 83-87 BibTeX
Donald I. Kiel: Two-way A-Transducers and AFL. 88-109 BibTeX
Edward A. Ashcroft: Proving Assertions about Parallel Programs. 110-135 BibTeX
Aravind K. Joshi, Leon S. Levy, Masako Takahashi: Tree Adjunct Grammars. 136-163 BibTeX

Seymour Ginsburg, Jonathan Goldstine, Sheila A. Greibach: Uniformly Erasable AFL. 165-182 BibTeX
Michael Machtey: On the Density of Honest Subrecursive Classes. 183-199 BibTeX
Kenneth B. Salomon: The Decidability of a Mapping Problem for Generalized Sequential Machines with Final States. 200-218 BibTeX
Masaharu Mizumoto, Jun'ichi Toyoda, K. Tanaka: Various Kinds of Automata with Weights. 219-236 BibTeX
Sheila A. Greibach: One Counter Languages and the IRS Condition. 237-247 BibTeX
Wallace L. Hamilton, John R. Mertens Jr.: Reproduction in Tessellation Structures. 248-252 BibTeX
Akira Nakamura: On Causal omega^2-Systems. 253-265 BibTeX
Suad Alagic: Natural State Transformations. 266-307 BibTeX
Leslie G. Valiant: General Context-Free Recognition in Less than Cubic Time. 308-315 BibTeX

Catriel Beeri: Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. 317-339 BibTeX
Leslie G. Valiant, Mike Paterson: Deterministic One-Counter Automata. 340-350 BibTeX
Jonathan Goldstine: Some Independent Families of One-Letter Languages. 351-369 BibTeX
Giorgio Germano, Andrea Maggiolo-Schettini: Proving a Compiler Correct: A Simple Approach. 370-383 BibTeX
Jeffrey D. Ullman: NP-Complete Scheduling Problems. 384-393 BibTeX
Teresemarie McCloskey: Abstract Families of Length-Preserving Processors. 394-427 BibTeX