ask others

JCSS, Volume 6

> Home > Journals > JCSS

Volume 6, Number 1, February 1972

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Heindel72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Heindel72
Lee E. Heindel:
Computation of Powers of Multivariate Polynomials over the Integers. 1-8
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Goldstine72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Goldstine72
Jonathan Goldstine:
Substitution and Bounded Languages. 9-29
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Greibach72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Greibach72
Sheila A. Greibach:
Syntactic Operators on Full SemiAFLs. 30-76
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Kang72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Kang72
Andy N. C. Kang:
Effective Operators with No Strong Gaps. 77-87
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/ItkinZ72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/ItkinZ72
V. E. Itkin, Z. Zwinogrodzki:
On Program Schemata Equivalence. 88-101

Volume 6, Number 2, April 1972

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/GaleK72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/GaleK72
David Gale, Richard M. Karp:
A Phenomenon in the Theory of Sorting. 103-115
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Paterson72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Paterson72
Mike Paterson:
Tape Bounds for Time-Bounded Turing Machines. 116-124
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/AhoU72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/AhoU72
Alfred V. Aho, Jeffrey D. Ullman:
Equivalence of Programs with Structured Variables. 125-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Kameda72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Kameda72
Tiko Kameda:
Pushdown Automata with Counters. 138-150
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Zalcstein72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Zalcstein72
Yechezkel Zalcstein:
Locally Testable Languages. 151-167
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Giuliano72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Giuliano72
Joseph Alphonso Giuliano:
Writing Stack Acceptors. 168-204

Volume 6, Number 3, June 1972

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Spira72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Spira72
Philip M. Spira:
Complete Linear Proofs of Systems of Linear Inequalities. 205-216
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Stanat72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Stanat72
Donald F. Stanat:
A Homomorphism Theorem for Weighted Context-Free Grammars. 217-232
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Smith72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Smith72
Alvy Ray Smith III:
Real-Time Language Recognition by One-Dimensional Cellular Automata. 233-253
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Cleave72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Cleave72
John P. Cleave:
Combinatorial Systems. I. Cylindrical Problems. 254-266
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/EickelL72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/EickelL72
Jürgen Eickel, Jacques Loeckx:
The Relation Between Derivations and Syntactical Structures in Phrase-Structure Grammars. 267-282
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Butzbach72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Butzbach72
Philippe Butzbach:
Les 1-Convexes du Monoïde Commutatif N^n. 283-289

Volume 6, Number 4, August 1972

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Golberg72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Golberg72
Michael A. Golberg:
The Equivalence of Several Initial Value Methods for Solving Integral Equations. 291-297
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Schultz72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Schultz72
Martin H. Schultz:
Discrete Tchebycheff Approximation for Multivariate Splines. 298-304
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/KingF72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/KingF72
James C. King, Robert W. Floyd:
An Interpretation-Oriented Theorem Prover over Integers. 305-323
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Rajlich72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Rajlich72
Vaclav Rajlich:
Absolutely Parallel Grammars and Two-Way Finite State Transducers. 324-342
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Bucy72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Bucy72
Richard S. Bucy:
The Riccati Equation and Its Bounds. 343-353
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/McCormick72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/McCormick72
Steve F. McCormick:
A General Approach to One-Step Iterative Methods with Application to Eigenvalue Problems. 354-372

Volume 6, Number 5, October 1972

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Richardson72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Richardson72
D. Richardson:
Tessellations with Local Transformations. 373-388
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Enderton72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Enderton72
Herbert B. Enderton:
Degrees of Computational Complexity. 389-396
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/PreparataY72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/PreparataY72
Franco P. Preparata, Raymond T. Yeh:
Continuously Valued Logic. 397-418
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/MullerM72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/MullerM72
David E. Muller, Raymond E. Miller:
A Generalization of the Theory of Incompletely Specified Machines. 419-447
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/AmorosoP72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/AmorosoP72
Serafino Amoroso, Yale N. Patt:
Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures. 448-464
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Katzenelson72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Katzenelson72
Jacob Katzenelson:
The Markov Algorithm as a Language Parser - Linear Bounds. 465-478

Volume 6, Number 6, December 1972

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/ConstableM72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/ConstableM72
Robert L. Constable, Steven S. Muchnick:
Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems. 480-537
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Wise72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Wise72
David S. Wise:
Generalized Overlap Resolvable Grammars and Their Parsers. 538-572
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/AhoU72a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/AhoU72a
Alfred V. Aho, Jeffrey D. Ullman:
Optimization of LR(k) Parsers. 573-602
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Machtey72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Machtey72
Michael Machtey:
Augmented Loop Languages and Classes of Computables Functions. 603-624
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/MunroB72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/MunroB72
J. Ian Munro, Allan Borodin:
Efficient Evaluation of Polynomial Forms. 625-638
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcss/Rabin72
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcss/Rabin72
Michael O. Rabin:
Proving Simultaneous Positivity of Linear Forms. 639-650