@article{Avis/80,
AUTHOR = {Avis, D.},
TITLE = {Comments on a lower bound for convex hull determination},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {126},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Mcgill Univ., Montreal, Quebec, Canada},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ibarra-Moran-Rosier/80,
AUTHOR = {Ibarra, O. and Moran, S. and Rosier, L.E.},
TITLE = {A note on the parallel complexity of computing the rank of order $n$ matrices},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {162},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Univ. of Minnesota, Minneapolis, MN, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dijkstra-Scholten/80,
AUTHOR = {Dijkstra, Edsger W. and Scholten, C.S.},
TITLE = {Termination detection for diffusing computations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {1-4},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Burroughs, Nuenen, Netherlands},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dobosiewicz/80,
AUTHOR = {Dobosiewicz, Wlodzimierz},
TITLE = {An efficient variation of bubble sort},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {5-6},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. of Informatics, Warsaw Univ., Warszawa, Poland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Allison-Noga/80,
AUTHOR = {Allison, D.C.S. and Noga, M.T.},
TITLE = {Selection by distributive partitioning},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {7-8},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Virginia Polytech. Inst. and State Univ., Blacksburg, VA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Krawczyk/80,
AUTHOR = {Krawczyk, Tomasz},
TITLE = {Error correction by mutational grammars},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {9-15},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Mera-Inst. of Mathematical Machines, Warsaw, Poland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bhat/80,
AUTHOR = {Bhat, Kabekode V.S.},
TITLE = {On the complexity of testing a graph for $N$-cube},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {16-19},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer and Information Sci., Ohio State Univ., Columbus, OH, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Grabowski/80,
AUTHOR = {Grabowski, Jan},
TITLE = {The decidability of persistence for vector addition systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {1},
PAGES = {20-23},
YEAR = {1980, August},
KEYWORDS = {vector addition system, Petri net, reachability problem, persistence, Presburger arithmetic},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Sektion Math., Humboldt-Univ. Berlin, Berlin, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Loui/80,
AUTHOR = {Loui, Michael C.},
TITLE = {A note on the pebble game},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {24-26},
YEAR = {1980, August},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Lab. for Computer Sci., MIT, Cambridge, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Day/80,
AUTHOR = {Day, J.D.},
TITLE = {On the internal S-stability of Rosenbrock methods},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {27-30},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Day/80a,
AUTHOR = {Day, J.D.},
TITLE = {Comments on: T.D. Bui, ``On an L-stable method for stiff differential equations''},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {31-32},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Div. of Engng., Gippsland Inst. of Advanced Education, Churchill, Victoria, Australia},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Loizou/80,
AUTHOR = {Loizou, Georghios},
TITLE = {On a cycle finding algorithm},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {33-36},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Birkbeck Coll., Univ. of London, London, England},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Brown/80a,
AUTHOR = {Brown, Donna J.},
TITLE = {An improved BL lower bound},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {37-39},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Coordinated Sci. Lab., Univ. of Illinois, Urbana, IL, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Peterson/80a,
AUTHOR = {Peterson, James J.},
TITLE = {A note on colored Petri nets},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {40-43},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Univ. of Texas, Austin, TX, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Valiant/80b,
AUTHOR = {Valiant, L.G.},
TITLE = {Computing multivariate polynomials in parallel},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {1},
PAGES = {44-45},
YEAR = {1980, August},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Computer Sci. Dept., Edinburgh Univ., Edinburgh, Scotland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
NOTE = {see Addendum Inf.~Process.~Lett. 12, 54},
}
@article{Brent-Kung/80a,
AUTHOR = {Brent, R.P. and Kung, H.T.},
TITLE = {On the area of binary tree layouts},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {46-48},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Australian Nat. Univ., Canberra, Australia},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dyer/80,
AUTHOR = {Dyer, Charles R.},
TITLE = {A fast parallel algorithm for the closest pair problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {49-52},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Computer Sci. Center, Univ. of Maryland, College Park, MD, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Devroye/80,
AUTHOR = {Devroye, Luc},
TITLE = {A note on finding convex hulls via maximal vectors},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {53-56},
YEAR = {1980, August},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {School of Computer Sci., Mcgill Univ., Montreal, Canada},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Banachowski/80,
AUTHOR = {Banachowski, L.},
TITLE = {A complement to Tarjan's result about the lower bound on the complexity of the set union problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {59-65},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. of Informatics, Warsaw Univ., Warsaw, Poland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Urbanek/80,
AUTHOR = {Urbanek, F.},
TITLE = {An $O(\log n)$ algorithm for computing the $n$th element of the solution of a difference equation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {66-67},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. f{\"u}r Math. Logik und Formale Sprachen, Tech. Univ. Wien, Wien, Austria},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gries-Levin/80,
AUTHOR = {Gries, D. and Levin, G.},
TITLE = {Computing Fibonacci numbers (and similarly defined functions) in log time},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {68-69},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Computer Sci. Dept., Cornell Univ., Ithaca, NY, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ebert/80,
AUTHOR = {Ebert, J.},
TITLE = {A note on odd and even factors of undirected graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {70-72},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Fachbereich Naturwissenschaften, Univ. Osnabr{\"u}ck, Osnabr{\"u}ck, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Liu-Demers/80,
AUTHOR = {Liu, L. and Demers, A.},
TITLE = {An algorithm for testing lossless join property in relational databases},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {73-76},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Mitre Corp., Bedford, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Preparata-Vuillemin/80,
AUTHOR = {Preparata, F.P. and Vuillemin, J.E.},
TITLE = {Area-time optimal VLSI networks for multiplying matrices},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {77-80},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Coordinated Sci. Lab., Univ. of Illinois, Urbana, IL, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chung-Luccio-Wong/80a,
AUTHOR = {Chung, K.M. and Luccio, F. and Wong, C.K.},
TITLE = {Minimum number of steps for permutation in a bubble memory},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {81-83},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Wang Labs., Lowell, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Yao/80,
AUTHOR = {Yao, A.C.},
TITLE = {A note on the analysis of extendible hashing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {84-86},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Computer Sci. Dept., Stanford Univ., Stanford, CA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Broy/80,
AUTHOR = {Broy, M.},
TITLE = {Transformational semantics for concurrent programs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {87-91},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. f{\"u}r Informatik Tech. Univ. M{\"u}nchen, M{\"u}nchen, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Johnson/80b,
AUTHOR = {Johnson, R.B., Jr.},
TITLE = {The complexity of a VLSI adder},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {92-93},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Maths., Univ. of Illinois, Urbana, IL, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Calmet-Loos/80,
AUTHOR = {Calmet, J. and Loos, R.},
TITLE = {An improvement of Rabin's probabilistic algorithm for generating irreducible polynomials over GF(p)},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {94-95},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. f{\"u}r Informatik I, Univ. Karlsruhe, Karlsruhe, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Colbourn-McKay/80,
AUTHOR = {Colbourn, C.J. and McKay, B.D.},
TITLE = {A correction to Colbourn's paper on the complexity of matrix symmetrizability},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {96-97},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Univ. of Toronto, Toronto, Ontario, Canada},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kanellakis/80,
AUTHOR = {Kanellakis, P.C.},
TITLE = {On the computational complexity of cardinality constraints in relational databases},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {98-101},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {MIT, Cambridge, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Luque-Ripoll/80,
AUTHOR = {Luque, E. and Ripoll, A.},
TITLE = {Tuning architecture via microprogramming},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {102-109},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. de Electricidad Y Electronica, Facultad de Ciencias, Univ. Autonoma de Barcelona, Barcelona, Spain},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Leiss/80,
AUTHOR = {Leiss, E.},
TITLE = {A note on a signature system based on probabilistic logic},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {2},
PAGES = {110-113},
YEAR = {1980, October},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Univ. of Houston, Houston, TX, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Leung-Merrill/80,
AUTHOR = {Leung, Joseph Y.-T. and Merrill, M.L.},
TITLE = {A note on preemptive scheduling of periodic real-time tasks},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {115-118},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Electrical Eng. and Computer Sci., Northwestern Univ., Evanston, IL, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Robson/80,
AUTHOR = {Robson, J.M.},
TITLE = {Storage allocation is $NP$-hard},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {119-125},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Australian Nat. Univ., Canberra, Australia},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Moura/80,
AUTHOR = {Moura, A.},
TITLE = {A note on grammatical covers},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {127-129},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Electrical Engng. and Computer Sci., Univ. of California, Berkeley, CA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bailey-Dromey/80,
AUTHOR = {Bailey, T.A. and Dromey, R.G.},
TITLE = {Fast string searching by finding subkeys in subtext},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {130-133},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computing Sci., Univ. of Wollongong, Wollongong, NSW, Australia},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Romani/80,
AUTHOR = {Romani, F.},
TITLE = {Shortest-path problem is not harder than matrix multiplication},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {134-136},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Istituto di Elaborazione dell'Informazione, Pisa, Italy},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Erkio/80,
AUTHOR = {Erki{\"o}, H.},
TITLE = {Internal merge sorting with delayed selection},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {137-140},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Univ. of Helsinki, Helsinki, Finland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dershowitz/80,
AUTHOR = {Dershowitz, N.},
TITLE = {The Schorr-Waite marking algorithm revisited},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {141-143},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Univ. of Illinois, Urbana, IL, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kinber/80,
AUTHOR = {Kinber, E.B.},
TITLE = {On inclusion problem for deterministic multitape automata},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {3},
PAGES = {144-146},
YEAR = {1980, November},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Computing Center, Latvian State Univ., Riga, Latvian SSR},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Laut/80,
AUTHOR = {Laut, A.},
TITLE = {Safe procedural implementations of algebraic types},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {147-151},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. f{\"u}r Informatik., Tech. Univ. M{\"u}nchen, M{\"u}nchen, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Paredaens-Ponsaert/80,
AUTHOR = {Paredaens, J. and Ponsaert, F.},
TITLE = {Grant levels in an authorization mechanism},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {152-155},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Math., Univ. Instelling Antwerpen, Wilrijk, Belgium},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Frederickson/80a,
AUTHOR = {Frederickson, G.N.},
TITLE = {Probabilistic analysis for some one- and two-dimensional bin packing algorithms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {156-161},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Pennsylvania State Univ., University Park, PA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hanson/80,
AUTHOR = {Hanson, D.R.},
TITLE = {Code improvement via lazy evaluation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {163-167},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Univ. of Arizona, Tucson, Az, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ter_Bekke/80,
AUTHOR = {Ter Bekke, J.H.},
TITLE = {Convertibility in databases},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {168-171},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Math., Delft Univ. of Technol., Delft, Netherlands},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Pettorossi/80,
AUTHOR = {Pettorossi, A.},
TITLE = {Derivation of an $O(k^2\log n)$ algorithm for computing order-$k$ Fibonacci numbers from the $O(k^3\log n)$ matrix multiplication method},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {172-179},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Univ. of Edinburgh, Edinburgh, Scotland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Williams/80a,
AUTHOR = {Williams, M.H.},
TITLE = {Cubic map configurations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {180-185},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Rhodes Univ., Grahamstown, S.africa},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Williams/80,
AUTHOR = {Williams, M.H.},
TITLE = {Batch sizes for the batching method of colouring planar maps},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {186-189},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Computer Sci., Rhodes Univ., Grahamstown, S.africa},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Majster-Cederbaum/80a,
AUTHOR = {Majster-Cederbaum, M.E.},
TITLE = {A simple relation between relational and predicate transformer semantics for nondeterministic programs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {190-192},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. f{\"u}r Informatik, Tech. Univ. M{\"u}nchen, M{\"u}nchen, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Petreschi-Simeone/80,
AUTHOR = {Petreschi, R. and Simeone, B.},
TITLE = {A switching algorithm for the solution of quadratic Boolean equations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {193-198},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Math. Inst., Univ. of l'Aquila, Aquila, Italy},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 12, 109},
}
@article{Arora-Rana/80,
AUTHOR = {Arora, R.K. and Rana, S.P.},
TITLE = {Heuristic algorithms for process assignment in distributed computing systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {199-203},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Computer Centre, Indian Inst. of Technol., New Delhi, India},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kawai/80,
AUTHOR = {Kawai, H.},
TITLE = {A formal system for parallel programs in discrete time and space},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {204-210},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Computation Center of Osaka Univ., Osaka, Japan},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ten_Hoopen/80,
AUTHOR = {Ten Hoopen, J.},
TITLE = {Consecutive retrieval with redundancy: an optimal linear and an optimal cyclic arrangement and their storage space requirements},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {211-217},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Subdept. of Appl. Math., Technol. Univ. Twente, Enschede, Netherlands},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kandzia-Mangelmann/80,
AUTHOR = {Kandzia, P. and Mangelmann, M.},
TITLE = {On covering Boyce-Codd normal forms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {218-223},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. f{\"u}r Informatik und Praktische Math., Christian-Albrechts-Univ. Kiel, Kiel, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Pajunen/80,
AUTHOR = {Pajunen, Seppo},
TITLE = {On two theorems of Lenstra},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
PAGES = {224-228},
YEAR = {1980},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jammel-Stiegler/80,
AUTHOR = {Jammel, A.J. and Stiegler, H.G.},
TITLE = {On expected costs of deadlock detection},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {11},
NUMBER = {4-5},
PAGES = {229-231},
YEAR = {1980, December},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. f{\"u}r Informatik und Praktische Math. Kiel, Christian-albrechts-univ., Kiel, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}