@article{Knuth/77, AUTHOR = {Knuth, D.E.}, TITLE = {A generalization of Dijkstra's algorithm}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, PAGES = {1-5}, YEAR = {1977, February}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Stanford Univ., Stanford, CA, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Yuval/77, AUTHOR = {Yuval, G.}, TITLE = {Theil's estimator}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {1}, PAGES = {6-7}, YEAR = {1977, February}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Hebrew Univ., Jerusalem, Israel}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Goto-Ida-Gunji/77, AUTHOR = {Goto, E. and Ida, T. and Gunji, T.}, TITLE = {Parallel hashing algorithms}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {1}, PAGES = {8-13}, YEAR = {1977, February}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. for Phys. and Chem. Res., Wako-Shi, Saitama, Japan}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Deo-Krishnamoorthy-Pai/77, AUTHOR = {Deo, N. and Krishnamoorthy, M.S. and Pai, A.B.}, TITLE = {Generalizations of line graphs and applications}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {1}, PAGES = {14-17}, YEAR = {1977, February}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Computer Centre, Indian Inst. of Technol., Kanpur, India}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Chin-Steiglitz/77, AUTHOR = {Chin, F. and Steiglitz, K.}, TITLE = {A fast error evaluation algorithm for polynomial approximation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {1}, PAGES = {18-21}, YEAR = {1977, February}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computing Sci., Univ. of Alberta, Edmonton, Alberta, Canada}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Reddi/77, AUTHOR = {Reddi, S.S.}, TITLE = {Alternate solutions to the cigarette smokers' problem without conditionals}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {1}, PAGES = {22-24}, YEAR = {1977, February}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Rice Univ., Houston, TX, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rowicki/77, AUTHOR = {Rowicki, A.}, TITLE = {A note on optimal preemptive scheduling for two-processor systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {1}, PAGES = {25-28}, YEAR = {1977, February}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. of Math. Machines, Krzywickiego, Warszawa, Poland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Merrett/77, AUTHOR = {Merrett, T.H.}, TITLE = {Relations as programming language elements}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {1}, PAGES = {29-33}, YEAR = {1977, February}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {School of Computer Sci., Mcgill Univ., Montreal, Canada}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Schnorr-Klupp/77, AUTHOR = {Schnorr, C.P. and Klupp, H.}, TITLE = {A universally hard set of formulae with respect to non-deterministic Turing acceptors}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {35-37}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Fachbereich Math., Univ. Frankfurt, Frankfurt, Germany}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ershov/77, AUTHOR = {Ershov, A.P.}, TITLE = {On the partial computation principle}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {38-41}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Computing Lab., Siberian Div. of The Acad. of Sci., Novosibirsk, USSR}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Zuczek/77, AUTHOR = {Zuczek, R.}, TITLE = {The universal space for parallel computation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {42-45}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Endres-Stork/77, AUTHOR = {Endres, A. and Stork, H.-G.}, TITLE = {FIFO-optimal placement on pages of independently referenced sectors}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {46-49}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Sassa-Goto/77, AUTHOR = {Sassa, M. and Goto, E.}, TITLE = {'v-tape', a virtual memory oriented data type and its resource requirements}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {50-55}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Information Sci., Tokyo Inst. of Technol., Tokyo, Japan}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Banatre/77, AUTHOR = {Banatre, J.P.}, TITLE = {Producing optimised code for coercions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {56-59}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {IRISA, Univ. de Rennes, Rennes, France}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Williams/77, AUTHOR = {Williams, M.H.}, TITLE = {Complete operator precedence conditions}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {60-62}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Rhodes Univ., Grahamstown, S.africa}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Rajaraman-Vikas/77, AUTHOR = {Rajaraman, V. and Vikas, O.}, TITLE = {A first-in-first-out buffered cyclic memory}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {63-68}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Computer Centre, Indian Inst. of Technol., Kanpur, India}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Hikita-Goto/77, AUTHOR = {Hikita, T. and Goto, E.}, TITLE = {An $O(n)$ algorithm for finding periodicity of a sequence using hash coding}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {2}, PAGES = {69-71}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Information Sci., Univ. of Tokyo, Tokyo, Japan}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Dinic-Kelmans-Zaitsev/77, AUTHOR = {Dinic, E.A. and Kelmans, A.K. and Zaitsev, M.A.}, TITLE = {Nonisomorphic trees with the same t-polynomial}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {3}, PAGES = {73-76}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. of Control Sci., Moscow, USSR}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kittler/77, AUTHOR = {Kittler, J.}, TITLE = {A method for determining class subspaces}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {3}, PAGES = {77-79}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Electronics, Univ. of Southampton, Southampton, England}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{van_Emde_Boas/77, AUTHOR = {van Emde Boas, P.}, TITLE = {Preserving order in a forest in less than logarithmic time and linear space}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {3}, PAGES = {80-82}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Univ. of Amsterdam, Amsterdam, Netherlands}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Javor/77, AUTHOR = {Javor, A.}, TITLE = {An adaptive time advancement algorithm for discrete simulation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {3}, PAGES = {83-86}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Central Res. Inst. Phys., Hungarian Acad. of Sci., Budapest, Hungary}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Wurges/77, AUTHOR = {Wurges, H.}, TITLE = {Comments on ``Error resynchronisation in producer consumer systems''}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {3}, PAGES = {87-90}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Tech. Hochschule Darmstadt, Darmstadt, Germany}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lipski/77, AUTHOR = {Lipski, W., Jr.}, TITLE = {One more polynomial complete consecutive retrieval problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {3}, PAGES = {91-93}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. of Computer Sci., Polish Acad. of Sci., Warsaw, Poland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kundu/77, AUTHOR = {Kundu, S.}, TITLE = {Sorting tree, nestling tree and inverse permutation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {3}, PAGES = {94-96}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Logicon, San Pedro, CA, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Raiha-Saarinen/77, AUTHOR = {R{\"a}ih{\"a}, K.J. and Saarinen, M.}, TITLE = {An optimization of the alternating semantic evaluator}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {3}, PAGES = {97-100}, YEAR = {1977, April}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Univ. of Helsinki, Helsinki, Finland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Cohen-Katcoff/77, AUTHOR = {Cohen, J. and Katcoff, J.}, TITLE = {Automatic solution of a certain class of combinatorial problems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {101-104}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Phys., Brandeis Univ., Waltham, MA, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Winkowski/77, AUTHOR = {Winkowski, J.}, TITLE = {An algebraic characterization of the behaviour of non-sequential systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {105-109}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. Podstaw Informatyki Pan, Warszawa, Poland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 7, 63}, } @article{Jones/77a, AUTHOR = {Jones, N.D.}, TITLE = {A note on linear time simulation of deterministic two-way pushdown automata}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {110-112}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Univ. of Aarhus, Aarhus, Denmark}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Turner/77, AUTHOR = {Turner, D.A.}, TITLE = {Error diagnosis and recovery in one pass compilers}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {113-115}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Computer Lab., Univ. of Kent, Canterbury, England}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Talbert/77, AUTHOR = {Talbert, S.H.}, TITLE = {On the formal specification of the semantics of processed information}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {116-119}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Data Processing and Analysis Directorate, Urban Affairs, Min. of State, Ottawa, Ontario, Canada}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Kobuchi/77, AUTHOR = {Kobuchi, Y.}, TITLE = {Two characterization theorems of locally catenative developmental systems}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {120-124}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Biophys., Kyoto Univ., Kyoto, Japan}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Brandwajn-Mouneix/77, AUTHOR = {Brandwajn, A. and Mouneix, B.}, TITLE = {A study of a page-on-demand system}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {125-132}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Ecole Nationale Superieure des Telecommunications, Paris, France}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Raghavan-Yu/77, AUTHOR = {Raghavan, V.V. and Yu, C.T.}, TITLE = {A note on a multidimensional searching problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {133-135}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computing Sci., Univ. of Alberta, Edmonton, Alberta, Canada}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gonnet-Rogers/77, AUTHOR = {Gonnet, G.H. and Rogers, L.D.}, TITLE = {The interpolation-sequential search algorithm}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {4}, PAGES = {136-139}, YEAR = {1977, August}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Pontificia Univ. Catolica do Rio de Janeiro, Rio de Janeiro, Brazil}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Shaw-Traub/77, AUTHOR = {Shaw, M. and Traub, J.F.}, TITLE = {Selection of good algorithms from a family of algorithms for polynomial derivative evaluation}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {141-145}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Carnegie-Mellon Univ., PA, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Lukaszewicz/77, AUTHOR = {{\L}ukaszewicz, L.}, TITLE = {Functional grammars}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {146-150}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. of Computer Sci., Polish Acad. of Sci., Warszawa, Poland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Collins-Musser/77, AUTHOR = {Collins, G.E. and Musser, D.R.}, TITLE = {Analysis of the Pope-Stein division algorithm}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {151-155}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Computer Sci. Dept., Univ. of Wisconsin, Madison, WI, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Grant/77, AUTHOR = {Grant, J.}, TITLE = {Null values in a relational data base}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {156-157}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Computer and Information Sci., Univ. of Florida, Gainesville, FL, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bui/77a, AUTHOR = {Bui, T.D.}, TITLE = {On an l-stable method for stiff differential equations}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {158-161}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Concordia Univ., Montreal, Quebec, Canada}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 8, 218}, } @article{Blazewicz/77, AUTHOR = {B{\l}azewicz, J.}, TITLE = {Simple algorithms for multiprocessor scheduling to meet deadlines}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {162-164}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. of Control Engng., Tech. Univ. of Poznan, Poznan, Poland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Matwin/77, AUTHOR = {Matwin, S.}, TITLE = {On the completeness of a set of transformations optimizing linear programs}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {165-167}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. of Informatics, Warsaw Univ., Warsaw, Poland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bird/77, AUTHOR = {Bird, R.S.}, TITLE = {Two dimensional pattern matching}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {168-170}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Univ. of Reading, Reading, England}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Cahit/77, AUTHOR = {Cahit, I.}, TITLE = {Realization of graceful permutation by a shuffle-exchange network}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {171-173}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Turkish Telecommunications, Nicosia, Cyprus}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Grant/77a, AUTHOR = {Grant, P.W.}, TITLE = {Recognition of EOL languages in less than quartic time}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {5}, PAGES = {174-176}, YEAR = {1977, October}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Univ. Coll. of Swansea, Swansea, Wales}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, NOTE = {see Addendum Inf.~Process.~Lett. 6, 228}, } @article{Matwin/76, AUTHOR = {Matwin, S.}, TITLE = {An experimental investigation of Geschke's method of global program optimization}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {177-179}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. of Informatics, Warsaw Univ., Warsaw, Poland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Steckelberg-Seth/76, AUTHOR = {Steckelberg, J.M. and Seth, S.C.}, TITLE = {On a relation between algebraic programs and Turing machines}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {180-183}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Oxford Univ., Oxford, England}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Selkow/76, AUTHOR = {Selkow, S.M.}, TITLE = {The tree-to-tree editing problem}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {184-186}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Univ. of Tennessee, Knoxville, Tn, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Madsen/76, AUTHOR = {Madsen, J.}, TITLE = {An experiment in formal definition of operating system facilities}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {187-189}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Tech. Univ. of Denmark, Lyngby, Denmark}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Albert-Maurer/76, AUTHOR = {Albert, J. and Maurer, H.A.}, TITLE = {The class of context-free languages is not an EOL family}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {190-195}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Inst. f{\"u}r Angewandte Informatik und Formale Beschreibungsverfahren, Univ. Karlsruhe, Karlsruhe, Germany}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Francez/76, AUTHOR = {Francez, N.}, TITLE = {A case for a forward predicate transformer}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {196-198}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Queen's Univ. of Belfast, Belfast, N.ireland}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Gavril/76, AUTHOR = {Gavril, F.}, TITLE = {Testing for equality between maximum matching and minimum node covering}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {199-202}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Computer Sci. Dept., Tel-Aviv Univ., Tel-Aviv, Israel}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Herschberg-Boekhorst/76, AUTHOR = {Herschberg, I.S. and Boekhorst, J.C.A.}, TITLE = {Concurrent file access under unpredictability}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {203-208}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Organisation Div., Unilever Nv, Rotterdam, Netherlands}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Bentley-Stanat-Williams/76, AUTHOR = {Bentley, J.L. and Stanat, D.F. and Williams, E.H., Jr.}, TITLE = {The complexity of finding fixed-radius near neighbors}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {209-212}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Univ. of North Carolina, Chapel Hill, NC, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Sudborough/76b, AUTHOR = {Sudborough, I.H.}, TITLE = {A note on weak operator precedence grammars}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, NUMBER = {6}, PAGES = {213-218}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Computer Sci., Technol. Inst., Northwestern Univ., Evanston, IL, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Perl-Reingold/76, AUTHOR = {Perl, Yehoshua and Reingold, Edward M.}, TITLE = {Understanding the complexity of interpolation search}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, PAGES = {219-222}, YEAR = {1976, December}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Dept. of Math. and Computer Sci., Bar-Ilan Univ., Ramat Gan, Israel}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, } @article{Ramshaw/77, AUTHOR = {Ramshaw, Lyle}, TITLE = {Binomial coefficients with non-integral lower index}, JOURNAL = {Inf.~Process.~Lett.}, VOLUME = {6}, PAGES = {223-226}, YEAR = {1977}, PUBLISHER = {North-Holland Publishing Company}, INSTITUTION = {Computer Sci. Dept., Stanford Univ., Stanford, CA, USA}, ADDRESS = {Amsterdam-New York-Oxford-Tokyo}, }