Search dblp for Publications

export results for "toc:db/journals/jacm/jacm14.bht:"

 download as .bib file

@article{DBLP:journals/jacm/AanderaaF67,
  author       = {St{\aa}l Aanderaa and
                  Patrick C. Fischer},
  title        = {The Solvability of the Halting Problem for 2-State Post Machines},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {677--682},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321426},
  doi          = {10.1145/321420.321426},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/AanderaaF67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/BarnesF67,
  author       = {Bruce H. Barnes and
                  John M. Fitzgerald},
  title        = {Minimal Experiments for Input-Independent Machines},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {683--686},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321427},
  doi          = {10.1145/321420.321427},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BarnesF67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Blum67,
  author       = {Manuel Blum},
  title        = {A Machine-Independent Theory of the Complexity of Recursive Functions},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {322--336},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321395},
  doi          = {10.1145/321386.321395},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Blum67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Brans67,
  author       = {Carl H. Brans},
  title        = {A Computer Program for the Nonnumerical Testing and Reduction of Sets
                  of Algebraic Partial Differential Equations},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {45--62},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321375},
  doi          = {10.1145/321371.321375},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Brans67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/BrushKT67,
  author       = {D. G. Brush and
                  John J. Kohfeld and
                  Gene Thomas Thompson},
  title        = {Solution of Ordinary Differential Equations Using Two "Off-Step" Points},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {769--784},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321436},
  doi          = {10.1145/321420.321436},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BrushKT67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Brzozowski67,
  author       = {Janusz A. Brzozowski},
  title        = {Roots of Star Events},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {466--477},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321409},
  doi          = {10.1145/321406.321409},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Brzozowski67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Butcher67,
  author       = {John C. Butcher},
  title        = {A Multistep Generalization of Runge-Kutta Methods With Four or Five
                  Stages},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {84--99},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321378},
  doi          = {10.1145/321371.321378},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Butcher67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/CarrollW67,
  author       = {A. B. Carroll and
                  R. T. Wetherald},
  title        = {Application of Parallel Processing to Numerical Weather Prediction},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {591--614},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321419},
  doi          = {10.1145/321406.321419},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/CarrollW67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/ChartresG67,
  author       = {Bruce A. Chartres and
                  James C. Geuder},
  title        = {Computable Error Bounds for Direct Solution of Linear Equations},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {63--71},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321376},
  doi          = {10.1145/321371.321376},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/ChartresG67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/ChuC67,
  author       = {John T. Chu and
                  J. C. Chueh},
  title        = {Error Probability in Decision Functions for Character Recognition},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {273--280},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321390},
  doi          = {10.1145/321386.321390},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/ChuC67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Collins67,
  author       = {George E. Collins},
  title        = {Subresultants and Reduced Polynomial Remainder Sequences},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {128--142},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321381},
  doi          = {10.1145/321371.321381},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Collins67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/CoveyouM67,
  author       = {R. R. Coveyou and
                  R. D. Macpherson},
  title        = {Fourier Analysis of Uniform Random Number Generators},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {100--119},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321379},
  doi          = {10.1145/321371.321379},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/CoveyouM67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Cryer67,
  author       = {Colin W. Cryer},
  title        = {On the Numerical Solution of a Quasi-Linear Elliptic Equation},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {363--375},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321400},
  doi          = {10.1145/321386.321400},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Cryer67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Fairthorne67,
  author       = {Robert A. Fairthorne},
  title        = {Morphology of "Information Flow"},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {710--719},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321430},
  doi          = {10.1145/321420.321430},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Fairthorne67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Floyd67,
  author       = {Robert W. Floyd},
  title        = {Nondeterministic Algorithms},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {636--644},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321422},
  doi          = {10.1145/321420.321422},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Floyd67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Gaver67,
  author       = {Donald P. Gaver},
  title        = {Probability Models for Multiprogramming Computer Systems},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {423--438},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321407},
  doi          = {10.1145/321406.321407},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Gaver67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Gelder67,
  author       = {Allen Van Gelder},
  title        = {Some New Results in Pseudo-Random Number Generation},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {785--792},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321437},
  doi          = {10.1145/321420.321437},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Gelder67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/GillF67,
  author       = {Arthur Gill and
                  J. Robert Flexer},
  title        = {Periodic Decomposition of Sequential Machines},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {666--676},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321425},
  doi          = {10.1145/321420.321425},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/GillF67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/GinsburgGH67,
  author       = {Seymour Ginsburg and
                  Sheila A. Greibach and
                  Michael A. Harrison},
  title        = {Stack automata and compiling},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {172--201},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321385},
  doi          = {10.1145/321371.321385},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/GinsburgGH67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/GinsburgGH67a,
  author       = {Seymour Ginsburg and
                  Sheila A. Greibach and
                  Michael A. Harrison},
  title        = {One-way stack automata},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {389--418},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321403},
  doi          = {10.1145/321386.321403},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/GinsburgGH67a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Ginzburg67,
  author       = {Abraham Ginzburg},
  title        = {A Procedure for Checking Equality of Regular Expressions},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {355--362},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321399},
  doi          = {10.1145/321386.321399},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Ginzburg67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Hartmanis67,
  author       = {Juris Hartmanis},
  title        = {On Memory Requirements for Context-Free Language Recognition},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {663--665},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321424},
  doi          = {10.1145/321420.321424},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Hartmanis67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/HicksW67,
  author       = {J. S. Hicks and
                  J. Wei},
  title        = {Numerical Solution of Parabolic Partial Differential Equations With
                  Two-Point Boundary Conditions by Use of the Method of Lines},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {549--562},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321417},
  doi          = {10.1145/321406.321417},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/HicksW67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Karp67,
  author       = {Richard M. Karp},
  title        = {Some Bounds on the Storage Requirements of Sequential Machines and
                  Turing Machines},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {478--489},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321410},
  doi          = {10.1145/321406.321410},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Karp67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/KarpMW67,
  author       = {Richard M. Karp and
                  Raymond E. Miller and
                  Shmuel Winograd},
  title        = {The Organization of Computations for Uniform Recurrence Equations},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {563--590},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321418},
  doi          = {10.1145/321406.321418},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/KarpMW67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Klee67,
  author       = {Victor Klee},
  title        = {A Method for Constructing Circuit Codes},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {520--528},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321414},
  doi          = {10.1145/321406.321414},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Klee67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Kleinrock67,
  author       = {Leonard Kleinrock},
  title        = {Time-shared Systems: a theoretical treatment},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {242--261},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321388},
  doi          = {10.1145/321386.321388},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Kleinrock67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/KnuthB67,
  author       = {Donald E. Knuth and
                  Richard H. Bigelow},
  title        = {Programming Language for Automata},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {615--635},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321421},
  doi          = {10.1145/321420.321421},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/KnuthB67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/KohfeldT67,
  author       = {John J. Kohfeld and
                  Gene Thomas Thompson},
  title        = {Multistep Methods With Modified Predictors and Correctors},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {155--166},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321383},
  doi          = {10.1145/321371.321383},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/KohfeldT67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Krogh67,
  author       = {Fred T. Krogh},
  title        = {A Test for Instability in the Numerical Solution of Ordinary Differential
                  Equations},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {351--354},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321398},
  doi          = {10.1145/321386.321398},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Krogh67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/LewisBB67,
  author       = {Peter A. W. Lewis and
                  P. B. Baxendale and
                  John L. Bennett},
  title        = {Statistical Discrimination of the Synonymy/Antonymy Relationship Between
                  Words},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {20--44},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321374},
  doi          = {10.1145/321371.321374},
  timestamp    = {Fri, 25 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/LewisBB67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Manacher67,
  author       = {Glenn K. Manacher},
  title        = {Production and Stabilization of Real-Time Task Schedules},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {439--465},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321408},
  doi          = {10.1145/321406.321408},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Manacher67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Mancino67,
  author       = {O. G. Mancino},
  title        = {Resolution by Iteration of Some Nonlinear Systems},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {341--350},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321397},
  doi          = {10.1145/321386.321397},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Mancino67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/MartinE67,
  author       = {David F. Martin and
                  Gerald Estrin},
  title        = {Models of Computations and Systems - Evaluation of Vertex Probabilities
                  in Graph Models of Computations},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {281--299},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321391},
  doi          = {10.1145/321386.321391},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/MartinE67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/McNaughton67,
  author       = {Robert McNaughton},
  title        = {Parenthesis Grammars},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {490--500},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321411},
  doi          = {10.1145/321406.321411},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/McNaughton67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Minnick67,
  author       = {Robert C. Minnick},
  title        = {A Survey of Microcellular Research},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {203--241},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321387},
  doi          = {10.1145/321386.321387},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Minnick67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Moler67,
  author       = {Cleve B. Moler},
  title        = {Iterative Refinement in Floating Point},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {316--321},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321394},
  doi          = {10.1145/321386.321394},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Moler67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Moore67,
  author       = {John B. Moore},
  title        = {A Convergent Algorithm for Solving Polynomial Algorithms},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {311--315},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321393},
  doi          = {10.1145/321386.321393},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Moore67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Mowle67,
  author       = {Frederic J. Mowle},
  title        = {An Algorithm for Generating Stable Feedback Shift Registers of Order
                  n},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {529--542},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321415},
  doi          = {10.1145/321406.321415},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Mowle67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Natapoff67,
  author       = {Alan Natapoff},
  title        = {Irreducible Topological Components of an Arbitrary Boolean Truth Function
                  and Generation of Their Minimal Coverings},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {376--381},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321401},
  doi          = {10.1145/321386.321401},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Natapoff67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/OdellD67,
  author       = {Patrick L. Odell and
                  E. P. Decell},
  title        = {On Computing the Fixed-Point Probability Vector of Ergodic Transition
                  Matrices},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {765--768},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321435},
  doi          = {10.1145/321420.321435},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/OdellD67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Oliver67,
  author       = {I. Oliver},
  title        = {Analysis of Factorial Experiments Using Generalized Matrix Operations},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {508--519},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321413},
  doi          = {10.1145/321406.321413},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Oliver67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Pease67,
  author       = {Marshall C. Pease},
  title        = {Matrix Inversion Using Parallel Processing},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {757--764},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321434},
  doi          = {10.1145/321420.321434},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Pease67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Pereira67,
  author       = {J. M. S. Sim{\~{o}}es{-}Pereira},
  title        = {Corrigendum: "On the Boolean Matrix Equation M..."},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {419--420},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321404},
  doi          = {10.1145/321386.321404},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Pereira67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Perlis67,
  author       = {Alan J. Perlis},
  title        = {The Synthesis of Algorithmic Systems},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {1--9},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321372},
  doi          = {10.1145/321371.321372},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Perlis67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Pickett67,
  author       = {H. E. Pickett},
  title        = {Note Concerning the Algebraic Theory of Automata},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {382--388},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321402},
  doi          = {10.1145/321386.321402},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Pickett67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/ReinwaldS67,
  author       = {Lewis T. Reinwald and
                  Richard M. Soland},
  title        = {Conversion of Limited-Entry Decision Tables to Optimal Computer Programs
                  {II:} minimum storage requirement},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {742--756},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321433},
  doi          = {10.1145/321420.321433},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/ReinwaldS67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/RigalG67,
  author       = {J. L. Rigal and
                  J. Gaches},
  title        = {On the Compatibility of a Given Solution With the Data of a Linear
                  System},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {543--548},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321416},
  doi          = {10.1145/321406.321416},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/RigalG67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Rosenberg67,
  author       = {Arnold L. Rosenberg},
  title        = {Real-Time Definable Languages},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {645--662},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321423},
  doi          = {10.1145/321420.321423},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Rosenberg67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Rosenkrantz67,
  author       = {Daniel J. Rosenkrantz},
  title        = {Matrix Equations and Normal Forms for Context-Free Grammars},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {3},
  pages        = {501--507},
  year         = {1967},
  url          = {https://doi.org/10.1145/321406.321412},
  doi          = {10.1145/321406.321412},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Rosenkrantz67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Shapiro67,
  author       = {Marvin B. Shapiro},
  title        = {An Algorithm for Reconstructing Protein and {RNA} Sequences},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {720--731},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321431},
  doi          = {10.1145/321420.321431},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Shapiro67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Shaw67,
  author       = {Brian Shaw},
  title        = {Modified Multistep Methods Based on a Nonpolynomial Interpolant},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {143--154},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321382},
  doi          = {10.1145/321371.321382},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Shaw67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Shemer67,
  author       = {Jack E. Shemer},
  title        = {Some Mathematical Considerations of Time-Sharing Scheduling Algorithms},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {262--272},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321389},
  doi          = {10.1145/321386.321389},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Shemer67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Sigillito67,
  author       = {Vincent G. Sigillito},
  title        = {On a Continuous Method of Approximating Solutions of the Heat Equation},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {732--741},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321432},
  doi          = {10.1145/321420.321432},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Sigillito67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Slagle67,
  author       = {James R. Slagle},
  title        = {Automatic Theorem Proving With Renamable and Semantic Resolution},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {687--697},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321428},
  doi          = {10.1145/321420.321428},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Slagle67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Stewart67,
  author       = {G. W. Stewart},
  title        = {A Modification of Davidon's Minimization Method to Accept Difference
                  Approximations of Derivatives},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {72--83},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321377},
  doi          = {10.1145/321371.321377},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Stewart67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Waite67,
  author       = {William M. Waite},
  title        = {Path Detection in Multidimensional Iterative Arrays},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {300--310},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321392},
  doi          = {10.1145/321386.321392},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Waite67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Weeg67,
  author       = {Gerard P. Weeg},
  title        = {Corrigendum: "The Automorphism Group of the Direct Product of Strongly
                  Related Automata"},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {421},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321405},
  doi          = {10.1145/321386.321405},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Weeg67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Westlake67,
  author       = {Wilfred J. Westlake},
  title        = {A Uniform Random Number Generator Based on the Combination of Two
                  Congruential Generators},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {2},
  pages        = {337--340},
  year         = {1967},
  url          = {https://doi.org/10.1145/321386.321396},
  doi          = {10.1145/321386.321396},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Westlake67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Winograd67,
  author       = {Shmuel Winograd},
  title        = {On the Time Required to Perform Multiplication},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {793--802},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321438},
  doi          = {10.1145/321420.321438},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Winograd67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/WosRCS67,
  author       = {Larry Wos and
                  George A. Robinson and
                  Daniel F. Carson and
                  Leon Shalla},
  title        = {The Concept of Demodulation in Theorem Proving},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {4},
  pages        = {698--709},
  year         = {1967},
  url          = {https://doi.org/10.1145/321420.321429},
  doi          = {10.1145/321420.321429},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/WosRCS67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Wunderlich67,
  author       = {Marvin C. Wunderlich},
  title        = {Sieving Procedures on a Digital Computer},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {10--19},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321373},
  doi          = {10.1145/321371.321373},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Wunderlich67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Yasuhara67,
  author       = {Ann Yasuhara},
  title        = {A Remark on Post Normal Systems},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {167--171},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321384},
  doi          = {10.1145/321371.321384},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Yasuhara67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Young67,
  author       = {Tzay Y. Young},
  title        = {Binomial-Weighted Orthogonal Polynomials},
  journal      = {J. {ACM}},
  volume       = {14},
  number       = {1},
  pages        = {120--127},
  year         = {1967},
  url          = {https://doi.org/10.1145/321371.321380},
  doi          = {10.1145/321371.321380},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Young67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.