@article{Tel-van_Leeuwen/87,
AUTHOR = {Tel, G. and van Leeuwen, J.},
TITLE = {Comments on 'a distributed algorithm for distributed termination'},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {349},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Utrecht Univ., Netherlands},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chang-Ibarra-Ravikumar-Berman/87,
AUTHOR = {Chang, J.H. and Ibarra, O.H. and Ravikumar, B. and Berman, L.},
TITLE = {Some observations concerning alternating Turing machines using small space},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {1-9},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
NOTE = {see Erratum in Inf.~Process.~Lett., Vol. 27, 53},
}
@article{Melkman/87,
AUTHOR = {Melkman, A.A.},
TITLE = {On-line construction of the convex hull of a simple polyline},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {11-12},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Ben Gurion Univ., of the Negev, Beer Sheva, Israel},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kirsig-Lange/87,
AUTHOR = {Kirsig, B. and Lange, K.J.},
TITLE = {Separation with the Ruzzo, Simon, and Tompa relativization implies $\mbox{DSPACE}(\log n) \neq \mbox{NSPACE}(\log n)$},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {13-15},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Fachbereich Inf., Hamburg Univ., Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hamlet/87,
AUTHOR = {Hamlet, R.G.},
TITLE = {Probable correctness theory},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {17-25},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept of Comput. Sci. \& Eng., Oregon Graduate Center, Beaverton, OR, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Howell-Rosier-Yen/87a,
AUTHOR = {Howell, Rodney R. and Rosier, Louis E. and Yen, Hsu-Chun},
TITLE = {An $O(n^{1.5})$ algorithm to decide boundedness for conflict-free vector replacement systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
PAGES = {27-33},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Texas Univ., Austin, TX, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Cybenko-Krumme-Venkataraman/87,
AUTHOR = {Cybenko, G. and Krumme, D.W. and Venkataraman, K.N.},
TITLE = {Fixed hypercube embedding},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {35-39},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Tufts Univ., Medford, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Laumond/87,
AUTHOR = {Laumond, J.P.},
TITLE = {Obstacle growing in a nonpolygonal world},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {41-50},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Labs. d'Automat. et d'Anal. des Syst., CNRS., Toulouse, France},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Naor/87,
AUTHOR = {Naor, J.},
TITLE = {A fast parallel coloring of planar graphs with five colors},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {51-53},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Hebrew Univ of Jerusalem, Israel},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Wang-Tsin/87,
AUTHOR = {Wang, Cao An and Tsin, Yung H.},
TITLE = {An $O(\log n)$ time parallel algorithm for triangulating a set of points in the plane},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {55-60},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hyslop-Lamagna/87,
AUTHOR = {Hyslop, G.A. and Lamagna, E.A.},
TITLE = {Performance of distributive partitioned sort in a demand paging environment},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {61-64},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci. \& Stat., Rhode Island Univ., Kingston, RI, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Reif/87,
AUTHOR = {Reif, J.H.},
TITLE = {A topological approach to dynamic graph connectivity},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {1},
PAGES = {65-70},
YEAR = {1987, April},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Aiken Comput. Lab., Harvard Univ., Cambridge, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hoare-He-Sanders/87,
AUTHOR = {Hoare, C.A.R. and He, Jifeng and Sanders, J.W.},
TITLE = {Prespecification in data refinement},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {71-76},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Oxford Univ., England},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Katajainen-Nevalainen-Teuhola/87,
AUTHOR = {Katajainen, J. and Nevalainen, O. and Teuhola, J.},
TITLE = {A linear expected-time algorithm for computing planar relative neighbourhood graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {77-86},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Turku Univ., Finland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Atallah-Bajaj/87,
AUTHOR = {Atallah, M. and Bajaj, C.},
TITLE = {Efficient algorithms for common transversals},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {87-91},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Broy/87,
AUTHOR = {Broy, M.},
TITLE = {Predicative specifications for functional programs describing communicating networks},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {93-101},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Fakultat f{\"u}r Math. und Inf., Passau Univ., Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lakshmanan-Meenakshi-Thulasiraman/87,
AUTHOR = {Lakshmanan, K.B. and Meenakshi, N. and Thulasiraman, K.},
TITLE = {A time-optimal message-efficient distributed algorithm for depth-first-search},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {103-109},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci. \& Eng., Indian Inst. of Technol., Madras, India},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Frieze/87,
AUTHOR = {Frieze, A.M.},
TITLE = {Parallel algorithms for finding Hamilton cycles in random graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {111-117},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci. \& Stat., London Univ., England},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Maley/87,
AUTHOR = {Maley, F.M.},
TITLE = {An observation concerning constraint-based compaction},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {119-122},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Lab. for Comput. Sci., MIT., Cambridge, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Rayward-Smith/87,
AUTHOR = {Rayward-Smith, V.J.},
TITLE = {The complexity of preemptive scheduling given interprocessor communication delays},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {123-125},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Sch. of Inf. Syst., East Anglia Univ., Norwich, England},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Tennent/87,
AUTHOR = {Tennent, R.D.},
TITLE = {Quantification in ALGOL-like languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {2},
PAGES = {133-137},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Edinburgh Univ., Scotland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Toyama/87a,
AUTHOR = {Toyama, Y.},
TITLE = {Counterexamples to termination for the direct sum of term rewriting systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {141-143},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Inf. Sci., NTT Electr. Commun. Labs., Tokyo, Japan},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Verjus/87,
AUTHOR = {Verjus, J.P.},
TITLE = {On the proof of a distributed algorithm},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {145-147},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. de Recherce en Inf. et Syst. Aleatoires, Rennes, France},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dillencourt/87,
AUTHOR = {Dillencourt, M.B.},
TITLE = {A non-Hamiltonian, nondegenerate Delaunay triangulation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {149-151},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lai-Yang/87,
AUTHOR = {Lai, T.H. and Yang, T.H.},
TITLE = {On distributed snapshots},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {153-158},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. \& Inf. Sci., Ohio State Univ., Columbus, OH, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Klapper/87,
AUTHOR = {Klapper, A.},
TITLE = {A lower bound on the complexity of the convex hull problem for simple polyhedra},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {159-161},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Coll. of Comput. Sci., Northeastern Univ., Boston, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Babaoglu/87,
AUTHOR = {Babao{\~g}lu, {\"o}.},
TITLE = {Stopping times of distributed consensus protocols: a probabilistic analysis},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {163-169},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kawai/87,
AUTHOR = {Kawai, S.},
TITLE = {Local authentication in insecure environments},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {171-174},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Inf. Sci., Tokyo Univ., Japan},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Fischer-Immerman/87,
AUTHOR = {Fischer, M.J. and Immerman, N.},
TITLE = {Interpreting logics of knowledge in propositional dynamic logic with converse},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {175-181},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chung-Cho/87,
AUTHOR = {Chung, T.-C. and Cho, J.-W.},
TITLE = {History sensitive string for multiple alphabets},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {183-188},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Korea Adv. Inst. of Sci. \& Technol., Seoul, Korea},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Tse/87,
AUTHOR = {Tse, T.H.},
TITLE = {On the detection of unstructuredness in flowgraphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {189-193},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Centre of Comput. Studies \& Appl., Hong Kong Univ., Hong Kong},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Zobel/87,
AUTHOR = {Z{\"o}bel, D.},
TITLE = {Transformations for communication fairness in CSP},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {195-198},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Seminar f{\"u}r Inf., EWH-Rheinland-Pfalz, Koblenz, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Alexandridis-Tsanakas/87,
AUTHOR = {Alexandridis, N.A. and Tsanakas, P.D.},
TITLE = {An encoding scheme for the efficient representation of hierarchical image structures},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {199-206},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Electr. Eng. \& Comput. Sci., George Washington Univ., Washington, DC, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Morris/87,
AUTHOR = {Morris, J.M.},
TITLE = {Varieties of weakest liberal preconditions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {3},
PAGES = {207-210},
YEAR = {1987, May},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Univ. Coll. Dublin, Ireland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Autebert-Flajolet-Gabarro/87,
AUTHOR = {Autebert, J.M. and Flajolet, P. and Gabarr{\'o}, J.},
TITLE = {Prefixes of infinite words and ambiguous context-free languages},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {211-216},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Lab. Inf. Theorique et Programmation, Paris Univ., France},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Brustmann-Wegener/87,
AUTHOR = {Brustmann, B. and Wegener, I.},
TITLE = {The complexity of symmetric functions in bounded-depth circuits},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {217-219},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Fachbereich 12 Math., Johann Wolfgang Goethe-Univ., Frankfurt am Main, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ochmanski/87,
AUTHOR = {Ochma{\'n}ski, E.},
TITLE = {Inevitably in concurrent systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {221-225},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. of Comput. Sci., Polish Acad. of Sci., Warsaw, Poland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kemp/87,
AUTHOR = {Kemp, R.},
TITLE = {A note on the number of leftist trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {227-232},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Fachbereich Inf., Johann Wolfgang Goethe-Univ., Frankfurt am Main, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Wiltink/87,
AUTHOR = {Wiltink, J.G.},
TITLE = {A deficiency of natural deduction},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {233-234},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Math. \& Comput. Sci., Eindhoven Univ. of Technol., Netherlands},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
NOTE = {see Letter to the Editor Inf.~Process.~Lett. 26, 163-164},
}
@article{Apostolico/87,
AUTHOR = {Apostolico, A.},
TITLE = {Remark on the Hsu-Du new algorithm for the longest common subsequence problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {235-236},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gries-Pascoletti-Sbriz/87,
AUTHOR = {Gries, D. and Pascoletti, A. and Sbriz, L.},
TITLE = {Horner's rule and the computation of linear recurrences},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {237-240},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Cornell Univ., Ithaca, Ny, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Goldberg-Plotkin/87,
AUTHOR = {Goldberg, A.V. and Plotkin, S.A.},
TITLE = {Parallel $(\Delta+1)$-coloring of constant-degree graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {241-245},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Lab. for Comput. Sci., MIT, Cambridge, MA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Levcopoulos/87,
AUTHOR = {Levcopoulos, C.},
TITLE = {An $\Omega(\sqrt n)$ lower bound for the nonoptimality of the greedy triangulation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {247-251},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. \& Inf. Sci., Linkoping Univ., Sweden},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Reichling/87,
AUTHOR = {Reichling, M.},
TITLE = {A simplified solution of the N queens' problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {253-255},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Lehrstuhl f{\"u}r Inf. I, W{\"u}rzburg Univ., Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Buda/87,
AUTHOR = {Buda, A.O.},
TITLE = {Multiprocessor automata},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {257-261},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. of Math., Sofia, Bulgaria},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bhatt-Cosmadaki/87,
AUTHOR = {Bhatt, S.N. and Cosmadaki, S.S.},
TITLE = {The complexity of minimizing wire lengths in VLSI layouts},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {263-267},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Fries-Mehlhorn-Naher-Tsakalidis/87,
AUTHOR = {Fries, O. and Mehlhorn, K. and Naher, S. and Tsakalidis, A.},
TITLE = {A $\log\log n$ data structure for three-sided range queries},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {269-273},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Angewandte Math. \& Inf., Saarlandes Univ., Saarbrucken},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Appel/87,
AUTHOR = {Appel, A.W.},
TITLE = {Garbage collection can be faster than stack allocation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {4},
PAGES = {275-279},
YEAR = {1987, June},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Princeton Univ., NJ, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Raghavan-Venkatesan/87,
AUTHOR = {Raghavan, V. and Venkatesan, S.M.},
TITLE = {On bounds for a board covering problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {281-284},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Salowe-Steiger/87a,
AUTHOR = {Salowe, J.S. and Steiger, W.L.},
TITLE = {Stable unmerging in linear time and constant space},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {285-294},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Venkatesh-Radhakrishnan-Li/87,
AUTHOR = {Venkatesh, K. and Radhakrishnan, T. and Li, H.F.},
TITLE = {Optimal checkpointing and local recording for domino-free rollback recovery},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {295-303},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nawrocki-Martinek/87,
AUTHOR = {Nawrocki, J.R. and Martinek, J.},
TITLE = {A storage allocation method with invalidating dangling references},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {305-310},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Comput. Centre, Tech. Univ. of Poznan, Poland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Calude/87,
AUTHOR = {Calude, C.},
TITLE = {Super-exponentials nonprimitive recursive, but rudimentary},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {311-315},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Math., Bucharest Univ., Bucharest, Romania},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ravi-Hunt/87,
AUTHOR = {Ravi, S.S. and Hunt III, H.B.},
TITLE = {An application of the planar separator theorem to counting problems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {317-321},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., State Univ. of New York, Albany, NY, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gries-Stojmenovic/87,
AUTHOR = {Gries, D. and Stojmenovi{\v{c}}, I.},
TITLE = {A note on Graham's convex hull algorithm},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {323-327},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Zhu-Cheung/87,
AUTHOR = {Zhu, Yunzhou and Cheung, To-Yat},
TITLE = {A new distributed breadth-first-search algorithm},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {329-333},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Univ. of Sci. \& Technol. of China, Hefei, China},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Suros-Montagne/87,
AUTHOR = {Sur{\'o}s, R. and Montagne, E.},
TITLE = {Fitted diagonals for reducing I/O bandwidth in systolic systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {335-341},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Lab. d'Inf. des Syst., Exp. et leur Modelisation, Univ. Paris-Sud, Orsay, France},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Friedberg-Peterson/87,
AUTHOR = {Friedberg, S.A. and Peterson, G.L.},
TITLE = {An efficient solution to the mutual exclusion problem using weak semaphores},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {5},
PAGES = {343-347},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Rochester Univ., Rochester, NY, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Krause-Larmore-Volper/87,
AUTHOR = {Krause, Kadri and Larmore, Lawrence L. and Volper, Dennis James},
TITLE = {Packing items from a triangular distribution},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {351-361},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Inf. \& Comput. Sci., California Univ., Irvine, CA, USA},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Jedrzejowicz/87,
AUTHOR = {J{\c{e}}drzejowicz, J.},
TITLE = {Nesting of shuffle closure is important},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {363-367},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. of Math., Gdansk Univ., Poland},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Pallo/87,
AUTHOR = {Pallo, J.},
TITLE = {On the rotation distance in the lattice of binary trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {369-373},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. d'Inf., Bourgogne Univ., Dijon, France},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Baeza-Yates/87,
AUTHOR = {Baeza-Yates, R.A.},
TITLE = {Some average measures in m-ary search trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {375-381},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Chile Univ., Santiago, Chile},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Moran/87a,
AUTHOR = {Moran, S.},
TITLE = {Generalized lower bounds derived from H{\AA}stad's main lemma (small depth circuits)},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {383-388},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Comput. Sci., Technion Israel Inst. of Technol., Haifa, Israel},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kunde-Steppat/87,
AUTHOR = {Kunde, M. and Steppat, H.},
TITLE = {On the worst-case ratio of a compound multiprocessor scheduling algorithm},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {389-396},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. f{\"u}r Inf., Tech. Univ., M{\"u}nchen, Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Vrto/87,
AUTHOR = {Vr{\v{t}}o, I.},
TITLE = {The area-time complexity of the VLSI counter},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {397-400},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Inst. of Tech. Cybern., Slovak Acad. of Sci., Bratislava, Czechoslovakia},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Peper/87,
AUTHOR = {Peper, F.},
TITLE = {Determining connected components in linear time by a linear number of processors},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {401-406},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Fac. of Math. \& Inf., Delft Univ. of Technol., Netherlands},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kelter/87,
AUTHOR = {Kelter, U.},
TITLE = {The complexity of strict serializability revisited},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {407-411},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Fachbereich Inf., Dotmund Univ., Germany},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kobuchi/87,
AUTHOR = {Kobuchi, Y.},
TITLE = {A note on symmetrical cellular spaces},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {25},
NUMBER = {6},
PAGES = {413-415},
YEAR = {1987, July},
PUBLISHER = {North-Holland Publishing Company},
INSTITUTION = {Dept. of Biophys., Kyoto Univ., Japan},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}