![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal of the ACM, Volume 15, 1968
Volume 15, Number 1, January 1968
- Maurice V. Wilkes:
Computers Then and Now. 1-7 - Gerard Salton, Michael Lesk:
Computer Evaluation of Indexing and Text Processing. 8-36 - Niklaus Wirth:
PL360, a Programming Language for the 360 Computers. 37-74 - Robert E. Echols, Leon Cooper:
Solution of Integer Linear Programming Problems by Direct Search. 75-84 - James R. Slagle, Philip Bursky:
Experiments With a Multipurpose, Theorem-Proving Heuristic Program. 85-99 - Otto Neall Strand, Ed R. Westwater:
Statistical Estimation of the Numerical Solution of a Fredholm Integral Equation of the First Kind. 100-114 - Harvey Dubner, Joseph Abate:
Numerical Inversion of Laplace Transforms by Relating Them to the Finite Fourier Cosine Transform. 115-123 - Donald M. Kaplan:
Some Completeness Results in the Mathematical Theory of Computation. 124-134 - Zamir Bavel:
Structure and Transition-Preserving Functions of Finite Automata. 135-158 - Abraham Waksman:
A Permutation Network. 159-163
Volume 15, Number 2, April 1968
- Jack Sklansky, M. Finkelstein:
A Formalism for Program Translation. 165-175 - P. A. Gilmore:
Structuring of Parallel Algorithms. 176-192 - B. Kubert, J. Szabo, S. Giulieri:
The Perspective Representation of Functions of Two Variables. 193-204 - Stephen P. Morse:
A Mathematical Model for the Analysis of Contour-Line Data. 205-220 - Alex Orden, V. Nalbandian:
A Bidirectional Simplex Algorithm. 221-235 - Donald W. Loveland:
Mechanical Theorem-Proving by Model Elimination. 236-251 - Marshall C. Pease:
An Adaptation of the Fast Fourier Transform for Parallel Processing. 252-264 - Frank J. Zeleznik:
Quasi-Newton Methods for Nonlinear Equations. 265-271 - Gerald L. Morris, Patrick L. Odell:
Common Solutions for n Matrix Equations With Applications. 272-274 - Oliver Aberth:
Analysis in the Computable Number Field. 275-299 - Marcel Paul Schützenberger:
A Remark on Acceptable Sets of Numbers. 300-303 - Raymond T. Yeh:
Generalized Pair Algebra With Applications to Automata Theory. 304-316 - John E. Hopcroft, Jeffrey D. Ullman:
Decidable and Undecidable Questions About Automata. 317-324 - Juris Hartmanis:
Computational Complexity of One-Tape Turing Machine Computations. 325-339 - Abraham Waksman:
Corrigendum: "A Permutation Network". 340
Volume 15, Number 3, July 1968
- Edward G. Coffman Jr.:
Analysis of Two Time-Sharing Algorithms Designed for Limited Swapping. 341-353 - Paul G. Comba:
A Procedure for Detecting Intersections of Three-Dimensional Objects. 354-366 - Peter B. Andrews:
Resolution With Merging. 367-381 - Juris Hartmanis, H. Shank:
On the Recognition of Primes by Automata. 382-389 - John J. Kohfeld, Gene Thomas Thompson:
A Modification of Nordsieck's Method Using an "Off-Step" Point. 390-401 - Gerhard Zielke:
Inversion of Modified Symmetric Matrices. 402-408 - Timothy V. Griffiths:
The Unsolvability of the Equivalence Problem for Lambda-Free Nondeterministic Generalized Machines. 409-413 - John E. Hopcroft, Jeffrey D. Ullman:
Relations Between Time and Tape Complexities. 414-427 - Seymour Ginsburg, Michael A. Harrison:
One-way nondeterministic real-time list-storage languages. 428-446 - Bruce A. Chartres, J. J. Florentin:
A Universal Syntax-Directed Top-Down Analyzer. 447-464 - Philip M. Lewis II, Richard Edwin Stearns:
Syntax-Directed Transduction. 465-488 - Niklaus Wirth:
Corrigendum: "PL360, a Programming Language for the 360 Computers". 489
Volume 15, Number 4, October 1968
- C. C. Gotlieb, S. Kumar:
Semantic Clustering of Index Terms. 493-513 - Donald R. Morrison:
PATRICIA - Practical Algorithm To Retrieve Information Coded in Alphanumeric. 514-534 - Thomas C. Lowe:
The Influence of Data Base Characteristics and Usage on Direct Access File Organization. 535-548 - Edward G. Coffman Jr., Leonard Kleinrock:
Feedback Queueing Models for Time-Shared Systems. 549-576 - Joseph Abate, Harvey Dubner, Sheldon B. Weinberg:
Queueing Analysis of the IBM 2314 Disk Storage Facility. 577-589 - Raymond Reiter:
Scheduling Parallel Computations. 590-599 - Ugo Montanari:
A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance. 600-624 - J. Ross Quinlan, Earl B. Hunt:
A Formal Deductive Problem-Solving System. 625-646 - Alfred V. Aho:
Indexed Grammars - An Extension of Context-Free Grammars. 647-671 - Arnold L. Rosenberg:
On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages. 672-679 - Dennis F. Cudia, Wilson E. Singletary:
Degrees of Unsolvability in Formal Grammars. 680-692 - Amar Mukhopadhyay:
Representation of Events in the von Neumann Cellular Model. 693-705 - Abbas I. Abdel Karim:
A Theorem for the Stability of General Predictor-Corrector Methods for the Solution of Systems of Differential Equations. 706-711 - James Dyer:
Generalized Multistep Methods in Satellite Orbit Computation. 712-719 - Peter B. Andrews:
A Correction Concerning Resolution. 720
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.