@article{Stacey/71, AUTHOR = {Stacey, G.M.}, TITLE = {The role of virtual memory in the handling of application files}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {1-3}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Duncan-Zissos/71, AUTHOR = {Duncan, F.G. and Zissos, D.}, TITLE = {Programmed simulation of sequential circuits}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {4-6}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Maurer/71, AUTHOR = {Maurer, Herman A.}, TITLE = {The solution of a problem by Ginsburg}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {7-10}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Zissos-Duncan/71, AUTHOR = {Zissos, D. and Duncan, F.G.}, TITLE = {Programmed simulation of race hazards in sequential circuits}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {11-13}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Henhapl-Jones/71, AUTHOR = {Henhapl, W. and Jones, C.B.}, TITLE = {A run-time mechanism for referencing variables}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {14-16}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Merrett/71, AUTHOR = {Merrett, T.H.}, TITLE = {General programs for management systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {17-20}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Karlgren/71, AUTHOR = {Karlgren, Hans}, TITLE = {Stacking without really stacking when reducing categorical expressions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {21-22}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Knuth-Floyd/71, AUTHOR = {Knuth, D.E. and Floyd, R.W.}, TITLE = {Notes on avoiding ``go to'' statements}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {23-31}, YEAR = {1971}, KEYWORDS = {go to statements, backtracking, control structures, regular expressions}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 1, 177}, } @article{Hopcroft-Tarjan/71, AUTHOR = {Hopcroft, John and Tarjan, Robert}, TITLE = {A $V^2$ algorithm for determining isomorphism of planar graphs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {32-34}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Salton/71, AUTHOR = {Salton, G.}, TITLE = {The performance of interactive information retrieval}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {35-41}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tsichritzis/71a, AUTHOR = {Tsichritzis, D.}, TITLE = {A note on comparison of subrecursive hierarchies}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {42-44}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Caviness-Pollack-Rubald/71, AUTHOR = {Caviness, B.F. and Pollack, P.L. and Rubald, C.M.}, TITLE = {An existence lemma for canonical forms in symbolic mathematics}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {45-46}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Milgram-Rosenfeld/71, AUTHOR = {Milgram, David L. and Rosenfeld, Azriel}, TITLE = {A note on scattered context grammars}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {47-50}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Corneil/71, AUTHOR = {Corneil, D.G.}, TITLE = {An $n^2$ algorithm for determining the bridges of a graph}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {51-55}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Munro/71a, AUTHOR = {Munro, Ian}, TITLE = {Efficient determination of the transitive closure of a directed graph}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {56-58}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gelenbe/71, AUTHOR = {Gelenbe, Erol}, TITLE = {The two-thirds rule for dynamic storage allocation under equilibrium}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {59-60}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Scheidig/71, AUTHOR = {Scheidig, H.}, TITLE = {Representation and equality of modes}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {61-65}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Borodin-Munro/71, AUTHOR = {Borodin, A. and Munro, I.}, TITLE = {Evaluating polynomials at many points}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {66-68}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tzafestas/71, AUTHOR = {Tzafestas, S.G.}, TITLE = {Input-output modeling and identification of linear automata}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {69-75}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ogilvie-Olson/71, AUTHOR = {Ogilvie, J.C. and Olson, C.L.}, TITLE = {On the use of complete subgraphs in cluster analysis}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {76-79}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{van_Dam-Tompa/71, AUTHOR = {van Dam, Andries and Tompa, Frank W.}, TITLE = {Software data paging and segmentation for complex systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {80-86}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Whale/71, AUTHOR = {Whale, J.F.}, TITLE = {The critical value of the basic parameter of a nonlinear differential equation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {87-90}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Solntseff/71, AUTHOR = {Solntseff, N.}, TITLE = {A classification of extensible programming languages}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {91-96}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Solntseff-Yezerski/71, AUTHOR = {Solntseff, N. and Yezerski, A.}, TITLE = {ECT - an extensible-contractable translator system}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {97-99}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gries/71, AUTHOR = {Gries, David}, TITLE = {Programming by induction}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {100-107}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Zimmer/71, AUTHOR = {Zimmer, Rainer}, TITLE = {Soft precedence}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {108-110}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chroust/71, AUTHOR = {Chroust, G.}, TITLE = {Expression evaluation with minimum average working storage}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {111-114}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Mayoh/71, AUTHOR = {Mayoh, B.H.}, TITLE = {Recursion and stacks}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {115-116}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bron/71, AUTHOR = {Bron, C.}, TITLE = {Outline of a machine without branch instructions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {117-119}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tarjan/71, AUTHOR = {Tarjan, Robert E.}, TITLE = {Determining whether a groupoid is a group}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {120-124}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tsichritzis/71, AUTHOR = {Tsichritzis, D.}, TITLE = {Protection in operating systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {127-131}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Graham/71, AUTHOR = {Graham, R.L.}, TITLE = {An efficient algorithm for determining the convex hull of a finite planar set}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {132-133}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Carroll-Fraser-Gill/71, AUTHOR = {Carroll, John M. and Fraser, William and Gill, Gregory}, TITLE = {Automatic content analysis in an on-line environment}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {134-140}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Branquart-Cardinael-Delescaille-Lewi/71, AUTHOR = {Branquart, P. and Cardinael, J.P. and Delescaille, J.P. and Lewi, J.}, TITLE = {A context-free syntax of ALGOL 68}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {141-148}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Siklossy/71, AUTHOR = {Sikl{\'o}ssy, Laurent}, TITLE = {Fast and read-only algorithms for traversing trees without an auxiliary stack}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {149-152}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Toussaint/71, AUTHOR = {Toussaint, Godfried T.}, TITLE = {Feature evaluation with quadratic mutual information}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {153-156}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Horowitz/71, AUTHOR = {Horowitz, Ellis}, TITLE = {A fast method for interpolation using preconditioning}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {157-163}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 1, 216}, } @article{Kral/71, AUTHOR = {Kr{\'a}l, Jaroslav}, TITLE = {A new additive pseudorandom number generator for extremely short word-lengths}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {164-167}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 1, 216}, } @article{Molchanov-Nikolenko/71, AUTHOR = {Molchanov, I.N. and Nikolenko, L.D.}, TITLE = {On an approach to integrating boundary problems with a non-unique solution}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {168-172}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Knuth-Kaehler/71, AUTHOR = {Knuth, Donald E. and Kaehler, E.B.}, TITLE = {An experiment in optimal sorting}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {173-176}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dijkstra/71a, AUTHOR = {Dijkstra, Edsger W.}, TITLE = {Information streams sharing a finite buffer}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {179-180}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Vantilborgh-Lamsweerde/71, AUTHOR = {Vantilborgh, H. and Lamsweerde, A. van}, TITLE = {On an extension of Dijkstra's semaphore primitives}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {181-186}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Varney/71, AUTHOR = {Varney, R.C.}, TITLE = {Priority processes used for scheduling within a tree structured operating system}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {187-190}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Findler/71, AUTHOR = {Findler, Nicholas V.}, TITLE = {Short note on a heuristic search strategy in long-term memory networks}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {191-196}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Anderssen/72, AUTHOR = {Anderssen, R.S.}, TITLE = {A refinement procedure for pure random search}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, NUMBER = {5}, PAGES = {197-200}, YEAR = {1972}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rozenberg/71a, AUTHOR = {Rozenberg, Grzegorg}, TITLE = {The equivalence problem for deterministic TOL-systems is undecidable}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {201-204}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 1, 252}, } @article{Molchanov-Stepanets/71, AUTHOR = {Molchanov, I.N. and Stepanets, N.I.}, TITLE = {Iterative methods for solving difference equations of the theory of elasticity not depending on the spacing of the difference net}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {205-210}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Krepyshev-Pollack/71, AUTHOR = {Krepyshev, G.B. and Pollack, Ya.A.}, TITLE = {Synthesis of a discrete-time optimal filter algorithm with reduced sensitivity to deviations of a priori statistics}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {211-215}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Brandstetter/71, AUTHOR = {Brandstetter, A.}, TITLE = {Storage requirements in stochastic data acquisition systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {217-219}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Nievergelt-Pradels-Wong-Yue/71, AUTHOR = {Nievergelt, J. and Pradels, J. and Wong, C.K. and Yue, P.C.}, TITLE = {Bounds on the weighted path length of binary trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {220-225}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bayer/71, AUTHOR = {Bayer, Rudolf}, TITLE = {Oriented balanced trees and equivalence relations}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {226-228}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Engelfriet/71, AUTHOR = {Engelfriet, Joost}, TITLE = {A note on infinite trees}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {229-232}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rozenberg/71, AUTHOR = {Rozenberg, G.}, TITLE = {Direct proofs of the undecidability of the equivalence problem for sentential forms of linear context-free grammar and the equivalence problem for OL systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {233-235}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Tzafestas/71a, AUTHOR = {Tzafestas, S.G.}, TITLE = {Design parameters for a multiserver computer processing buffering system with feedback}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {236-243}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Baker/72, AUTHOR = {Baker, J.L.}, TITLE = {An unintentional omission from ALGOL 68}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, NUMBER = {6}, PAGES = {244-245}, YEAR = {1972}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Reddy-Broadley-Erman-Johnsson-Newcomer-Robertson-Wright/71, AUTHOR = {Reddy, R. and Broadley, W. and Erman, L. and Johnsson, R. and Newcomer, J. and Robertson, G. and Wright, J.}, TITLE = {XCRIBL - A hardcopy scan line graphics system for document generation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {1}, PAGES = {246-251}, YEAR = {1971}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, }