default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJCSS, Volume 6
Volume 6, Number 1, February 1972
- Lee E. Heindel:
Computation of Powers of Multivariate Polynomials over the Integers. 1-8 - Jonathan Goldstine:
Substitution and Bounded Languages. 9-29 - Sheila A. Greibach:
Syntactic Operators on Full SemiAFLs. 30-76 - Andy N. C. Kang:
Effective Operators with No Strong Gaps. 77-87 - V. E. Itkin, Z. Zwinogrodzki:
On Program Schemata Equivalence. 88-101
Volume 6, Number 2, April 1972
- David Gale, Richard M. Karp:
A Phenomenon in the Theory of Sorting. 103-115 - Mike Paterson:
Tape Bounds for Time-Bounded Turing Machines. 116-124 - Alfred V. Aho, Jeffrey D. Ullman:
Equivalence of Programs with Structured Variables. 125-137 - Tiko Kameda:
Pushdown Automata with Counters. 138-150 - Yechezkel Zalcstein:
Locally Testable Languages. 151-167 - Joseph Alphonso Giuliano:
Writing Stack Acceptors. 168-204
Volume 6, Number 3, June 1972
- Philip M. Spira:
Complete Linear Proofs of Systems of Linear Inequalities. 205-216 - Donald F. Stanat:
A Homomorphism Theorem for Weighted Context-Free Grammars. 217-232 - Alvy Ray Smith III:
Real-Time Language Recognition by One-Dimensional Cellular Automata. 233-253 - John P. Cleave:
Combinatorial Systems. I. Cylindrical Problems. 254-266 - Jürgen Eickel, Jacques Loeckx:
The Relation Between Derivations and Syntactical Structures in Phrase-Structure Grammars. 267-282 - Philippe Butzbach:
Les 1-Convexes du Monoïde Commutatif N^n. 283-289
Volume 6, Number 4, August 1972
- Michael A. Golberg:
The Equivalence of Several Initial Value Methods for Solving Integral Equations. 291-297 - Martin H. Schultz:
Discrete Tchebycheff Approximation for Multivariate Splines. 298-304 - James C. King, Robert W. Floyd:
An Interpretation-Oriented Theorem Prover over Integers. 305-323 - Václav Rajlich:
Absolutely Parallel Grammars and Two-Way Finite State Transducers. 324-342 - Richard S. Bucy:
The Riccati Equation and Its Bounds. 343-353 - Steve F. McCormick:
A General Approach to One-Step Iterative Methods with Application to Eigenvalue Problems. 354-372
Volume 6, Number 5, October 1972
- Daniel Richardson:
Tessellations with Local Transformations. 373-388 - Herbert B. Enderton:
Degrees of Computational Complexity. 389-396 - Franco P. Preparata, Raymond T. Yeh:
Continuously Valued Logic. 397-418 - David E. Muller, Raymond E. Miller:
A Generalization of the Theory of Incompletely Specified Machines. 419-447 - Serafino Amoroso, Yale N. Patt:
Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures. 448-464 - Jacob Katzenelson:
The Markov Algorithm as a Language Parser - Linear Bounds. 465-478
Volume 6, Number 6, December 1972
- Robert L. Constable, Steven S. Muchnick:
Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems. 480-537 - David S. Wise:
Generalized Overlap Resolvable Grammars and Their Parsers. 538-572 - Alfred V. Aho, Jeffrey D. Ullman:
Optimization of LR(k) Parsers. 573-602 - Michael Machtey:
Augmented Loop Languages and Classes of Computables Functions. 603-624 - J. Ian Munro, Allan Borodin:
Efficient Evaluation of Polynomial Forms. 625-638 - Michael O. Rabin:
Proving Simultaneous Positivity of Linear Forms. 639-650
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
