Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jacm/AllardDH63,
  author       = {J. L. Allard and
                  A. R. Dobell and
                  Thomas E. Hull},
  title        = {Mixed Congruential Random Number Generators for Decimal Machines},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {131--141},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321163},
  doi          = {10.1145/321160.321163},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/AllardDH63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Baber63,
  author       = {R. L. Baber},
  title        = {Tape Searching Techniques},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {478--486},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321190},
  doi          = {10.1145/321186.321190},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Baber63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Ben-IsraelW63,
  author       = {Adi Ben{-}Israel and
                  Stephen J. Wersan},
  title        = {An Elimination Method for Computing the Generalized Inverse of an
                  Arbitrary Complex Matrix},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {532--537},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321197},
  doi          = {10.1145/321186.321197},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Ben-IsraelW63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Berlekamp63,
  author       = {Elwyn R. Berlekamp},
  title        = {Program for Double-Dummy Bridge Problems--A New Strategy for Mechanical
                  Game Playing},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {357--364},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321182},
  doi          = {10.1145/321172.321182},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Berlekamp63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BorkoB63,
  author       = {Harold Borko and
                  Myrna D. Bernick},
  title        = {Automatic Document Classification},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {151--162},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321165},
  doi          = {10.1145/321160.321165},
  timestamp    = {Mon, 26 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BorkoB63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Corbato63,
  author       = {Fernando J. Corbat{\'{o}}},
  title        = {On the Coding of Jacobi's Method for Computing Eigenvalues and Eigenvectors
                  of Real Symmetric Matrices},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {123--125},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321161},
  doi          = {10.1145/321160.321161},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Corbato63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Curtis63,
  author       = {H. Allen Curtis},
  title        = {Use of Decomposition Theory in the Solution of the State Assignment
                  Problem of Sequential Machines},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {386--411},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321184},
  doi          = {10.1145/321172.321184},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Curtis63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Curtis63a,
  author       = {H. Allen Curtis},
  title        = {Generalized Tree Circuit - The Basic Building Block of an Extended
                  Decomposition Theory},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {562--581},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321202},
  doi          = {10.1145/321186.321202},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Curtis63a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Emanuel63,
  author       = {George Emanuel},
  title        = {The Wilf Stability Criterion for Numerical Integration},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {557--561},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321201},
  doi          = {10.1145/321186.321201},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Emanuel63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Farr63,
  author       = {Edwin H. Farr},
  title        = {Lattice Properties of Sequential Machines},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {365--385},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321183},
  doi          = {10.1145/321172.321183},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Farr63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Floyd63,
  author       = {Robert W. Floyd},
  title        = {Syntactic Analysis and Operator Precedence},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {316--333},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321179},
  doi          = {10.1145/321172.321179},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Floyd63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FreudensteinR63,
  author       = {Ferdinand Freudenstein and
                  Bernhard Roth},
  title        = {Numerical Solution of Systems of Nonlinear Equations},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {550--556},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321200},
  doi          = {10.1145/321186.321200},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FreudensteinR63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Friedman63,
  author       = {Joyce Friedman},
  title        = {A Semi-Decision Procedure for the Functional Calculus},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {1--24},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321151},
  doi          = {10.1145/321150.321151},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Friedman63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Friedman63a,
  author       = {Joyce Friedman},
  title        = {A Computer Program for a Solvable Case of the Decision Problem},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {348--356},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321181},
  doi          = {10.1145/321172.321181},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Friedman63a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Gill63,
  author       = {Arthur Gill},
  title        = {On a Weight Distribution Problem, with Application to the Design of
                  Stochastic Generators},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {110--121},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321159},
  doi          = {10.1145/321150.321159},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Gill63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GinsburgR63,
  author       = {Seymour Ginsburg and
                  Gene F. Rose},
  title        = {Some Recursively Unsolvable Problems in ALGOL-Like Languages},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {29--47},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321153},
  doi          = {10.1145/321150.321153},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/GinsburgR63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GinsburgR63a,
  author       = {Seymour Ginsburg and
                  Gene F. Rose},
  title        = {Operations Which Preserve Definability in Languages},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {175--195},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321167},
  doi          = {10.1145/321160.321167},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/GinsburgR63a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GinsburgS63,
  author       = {Seymour Ginsburg and
                  Edwin H. Spanier},
  title        = {Quotients of Context-Free Languages},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {487--492},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321191},
  doi          = {10.1145/321186.321191},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/GinsburgS63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Gluss63,
  author       = {Brian Gluss},
  title        = {A Method for Obtaining Suboptimal Group-Testing Policies Using Dynamic
                  Programming and Information Theory},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {89--96},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321156},
  doi          = {10.1145/321150.321156},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Gluss63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Gorn63,
  author       = {Saul Gorn},
  title        = {Detection of Generative Ambiguities in Context-Free Mechanical Languages},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {196--208},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321168},
  doi          = {10.1145/321160.321168},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Gorn63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Grau63,
  author       = {Albert A. Grau},
  title        = {On the Reduction of Number Range in the Use of the Graeffe Process},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {538--544},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321198},
  doi          = {10.1145/321186.321198},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Grau63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Hansen63,
  author       = {Eldon R. Hansen},
  title        = {On the Danilewski Method},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {102--109},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321158},
  doi          = {10.1145/321150.321158},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Hansen63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Harrison63,
  author       = {Michael A. Harrison},
  title        = {The Number of Classes of Invertible Boolean Functions},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {25--28},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321152},
  doi          = {10.1145/321150.321152},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Harrison63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HartleyH63,
  author       = {H. O. Hartley and
                  D. L. Harris},
  title        = {Monte Carlo Computations in Normal Correlation Problems},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {302--306},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321177},
  doi          = {10.1145/321172.321177},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/HartleyH63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Hartmanis63,
  author       = {Juris Hartmanis},
  title        = {Further Results on the Structure of Sequential Machines},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {78--88},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321155},
  doi          = {10.1145/321150.321155},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Hartmanis63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Hibbard63,
  author       = {Thomas N. Hibbard},
  title        = {A Simple Sorting Algorithm},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {142--150},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321164},
  doi          = {10.1145/321160.321164},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Hibbard63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HouseR63,
  author       = {Robert W. House and
                  Tibor Rado},
  title        = {On a Computer Program for Obtaining Irreducible Representations for
                  Two-Level Multiple Input-Output Logical Systems},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {48--77},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321154},
  doi          = {10.1145/321150.321154},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/HouseR63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HouseR63a,
  author       = {Robert W. House and
                  Tibor Rado},
  title        = {Erratum: "On a Computer Program for Obtaining Irreducible Representations
                  for Two-Level Multiple Input-Output Logical Systems"},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {256},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321171},
  doi          = {10.1145/321160.321171},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/HouseR63a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HullC63,
  author       = {Thomas E. Hull and
                  A. L. Creemer},
  title        = {Efficiency of Predictor-Corrector Procedures},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {291--301},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321176},
  doi          = {10.1145/321172.321176},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/HullC63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KleinS63,
  author       = {Sheldon Klein and
                  Robert F. Simmons},
  title        = {A Computational Approach to Grammatical Coding of English Words},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {334--347},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321180},
  doi          = {10.1145/321172.321180},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/KleinS63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Lee-Whiting63,
  author       = {G. E. Lee{-}Whiting},
  title        = {Formulas for Computing Incomplete Elliptic Integrals of the First
                  and Second Kinds},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {126--130},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321162},
  doi          = {10.1145/321160.321162},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Lee-Whiting63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Lee-Whiting63a,
  author       = {G. E. Lee{-}Whiting},
  title        = {Erratum: "Formulas for Computing Incomplete Elliptic Integrals of
                  the First and Second Kind"},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {412},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321185},
  doi          = {10.1145/321172.321185},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Lee-Whiting63a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Liu63,
  author       = {C. N. Liu},
  title        = {A State Variable Assignment Method for Asynchronous Sequential Switching
                  Circuits},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {209--216},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321169},
  doi          = {10.1145/321160.321169},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Liu63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Maehly63,
  author       = {Hans J. Maehly},
  title        = {Methods for Fitting Rational Approximations, Parts {II} and {III}},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {257--277},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321173},
  doi          = {10.1145/321172.321173},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Maehly63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MattsonF63,
  author       = {Richard L. Mattson and
                  Oscar Firschein},
  title        = {Feature Word Construction for Use with Pattern Recognition Algorithms:
                  An Experimental Study},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {458--477},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321189},
  doi          = {10.1145/321186.321189},
  timestamp    = {Thu, 22 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/MattsonF63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Oehmke63,
  author       = {Robert H. Oehmke},
  title        = {On the Structures of an Automaton and Its Input Semigroup},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {521--525},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321194},
  doi          = {10.1145/321186.321194},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Oehmke63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/RabinW63,
  author       = {Michael O. Rabin and
                  Hao Wang},
  title        = {Words in the History of a Turing Machine with a Fixed Input},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {526--527},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321195},
  doi          = {10.1145/321186.321195},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/RabinW63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Ralston63,
  author       = {Anthony Ralston},
  title        = {On Economization of Rational Functions},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {278--282},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321174},
  doi          = {10.1145/321172.321174},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Ralston63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/RichS63,
  author       = {Robert P. Rich and
                  Harry C. Shaw},
  title        = {A Method for Finding All the Zeros of f(x)},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {545--549},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321199},
  doi          = {10.1145/321186.321199},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/RichS63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Ritchie63,
  author       = {Robert W. Ritchie},
  title        = {Finite Automata and the Set of Squares},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {528--531},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321196},
  doi          = {10.1145/321186.321196},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Ritchie63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Robinson63,
  author       = {John Alan Robinson},
  title        = {Theorem-Proving on the Computer},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {163--174},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321166},
  doi          = {10.1145/321160.321166},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Robinson63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Salton63,
  author       = {Gerard Salton},
  title        = {Associative Document Retrieval Techniques Using Bibliographic Information},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {440--457},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321188},
  doi          = {10.1145/321186.321188},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Salton63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Schwartz63,
  author       = {Eugene S. Schwartz},
  title        = {A Dictionary for Minimum Redundancy Encoding},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {413--439},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321187},
  doi          = {10.1145/321186.321187},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Schwartz63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ShepherdsonS63,
  author       = {John C. Shepherdson and
                  Howard E. Sturgis},
  title        = {Computability of Recursive Functions},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {2},
  pages        = {217--255},
  year         = {1963},
  url          = {https://doi.org/10.1145/321160.321170},
  doi          = {10.1145/321160.321170},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/ShepherdsonS63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Simon63,
  author       = {Herbert A. Simon},
  title        = {Experiments with a Heuristic Compiler},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {493--506},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321192},
  doi          = {10.1145/321186.321192},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Simon63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Slagle63,
  author       = {James R. Slagle},
  title        = {A Heuristic Program that Solves Symbolic Integration Problems in Freshman
                  Calculus},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {4},
  pages        = {507--520},
  year         = {1963},
  url          = {https://doi.org/10.1145/321186.321193},
  doi          = {10.1145/321186.321193},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Slagle63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Tainiter63,
  author       = {Melvin Tainiter},
  title        = {Addressing for Random-Access Storage with Multiple Bucket Capacities},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {307--315},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321178},
  doi          = {10.1145/321172.321178},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Tainiter63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Twomey63,
  author       = {S. Twomey},
  title        = {On the Numerical Solution of Fredholm Integral Equations of the First
                  Kind by the Inversion of the Linear System Produced by Quadrature},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {1},
  pages        = {97--101},
  year         = {1963},
  url          = {https://doi.org/10.1145/321150.321157},
  doi          = {10.1145/321150.321157},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Twomey63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ValentineD63,
  author       = {Charles W. Valentine and
                  C. Peter Van Dine},
  title        = {An Algorithm for Minimax Polynomial Curve-Fitting of Discrete Data},
  journal      = {J. {ACM}},
  volume       = {10},
  number       = {3},
  pages        = {283--290},
  year         = {1963},
  url          = {https://doi.org/10.1145/321172.321175},
  doi          = {10.1145/321172.321175},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/ValentineD63.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics