JCSS, Volume 19
Volume 19, Number 1, August 1979
C. Pair, M. Amirchahy, D. Neel: Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes. 1-17- Mitchell Wand: Final Algebra Semantics and Data Type Extensions. 27-44
- Meera Blattner, Tom Head: The Decidability of Equivalence for Deterministic Finite Transducers. 45-49
- David B. Benson: Parameter Passing in Nondeterministic Recursive Programs. 50-62
- Emily P. Friedman, Sheila A. Greibach: Superdeterministic DPDAS: The Method for Accepting Does Affect Decision Problems. 79-117
Volume 19, Number 2, October 1979
- Tero Harju: A Simulation Result for the Auxiliary Pushdown Automata. 119-132
- Giorgio Germano, Andrea Maggiolo-Schettini: Computable Stack Functions for Semantics of Stack Programs. 133-144
- Wolfgang J. Paul: On Time Hierarchies. 197-202
- Tom Head: Codeterministic Lindenmayer Schemes and Systems. 203-210
Volume 19, Number 3, December 1979
- Harry B. Hunt III: Observations on the Complexity of Regular Expression Problems. 222-236
- G. Naudé: Universal Realization. 277-289
- Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever: Semantics of Nondeterminism, Concurrency, and Communication. 290-308
- Akihiro Nozaki: Sorting Using Networks of Deques. 309-315
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team