@article{Minoux/88,
AUTHOR = {Minoux, Michel},
TITLE = {LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {1-12},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Huang/88,
AUTHOR = {Huang, Shing-Tsaan},
TITLE = {A fully distributed termination detection scheme},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {13-18},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Raoult/88,
AUTHOR = {Raoult, Jean-Claude},
TITLE = {Proving open properties by induction},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {19-23},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Reichling/88,
AUTHOR = {Reichling, Matthias},
TITLE = {On the detection of a common intersection of $k$ convex objects in the plane},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {25-29},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Burton-McKeown-Rayward-Smith/88,
AUTHOR = {Burton, F. Warren and McKeown, G.P. and Rayward-Smith, V.J.},
TITLE = {On process assignment in parallel computing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {31-34},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Makinen/88a,
AUTHOR = {M{\"a}kinen, Erkki},
TITLE = {On linear search heuristics},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {35-36},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Atkinson-Santoro/88,
AUTHOR = {Atkinson, Michael D. and Santoro, N.},
TITLE = {A practical algorithm for Boolean matrix multiplication},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {37-38},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kessels/88,
AUTHOR = {Kessels, J.L.W.},
TITLE = {An exercise in proving self-stabilization with a variant function},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {39-42},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Sassa-Nakata/88,
AUTHOR = {Sassa, Masataka and Nakata, Ikuo},
TITLE = {Time-optimal short-circuit evaluation of Boolean expressions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {43-51},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Arnold-Crubille/88,
AUTHOR = {Arnold, Andr{\'e} and Crubille, Paul},
TITLE = {A linear algorithm to solve fixed-point equations on transition systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {57-66},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Szalas/88,
AUTHOR = {Szalas, Andrzej},
TITLE = {An incompleteness result in process algebra},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {67-70},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Rytter/88,
AUTHOR = {Rytter, Wojciech},
TITLE = {On efficient parallel computations of costs of paths on a grid graph},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {71-74},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hoffmann-Kriegel/88,
AUTHOR = {Hoffmann, Frank and Kriegel, Klaus},
TITLE = {Embedding rectilinear graphs in linear time},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {75-79},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Blikle/88,
AUTHOR = {Blikle, Andrzej},
TITLE = {A guided tour of the mathematics of Metasoft '88},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {81-86},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Watjen-Unruh/88,
AUTHOR = {W{\"a}tjen, Dietmar and Unruh, Erwin},
TITLE = {On the degree of synchronization of $k$1TOL and $k$1ETOL systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {87-89},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{de_Luca-Pelagalli-Varricchio/88,
AUTHOR = {de Luca, Aldo and Pelagalli, Mariacristina and Varricchio, Stefano},
TITLE = {Test sets for languages of infinite words},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {91-95},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Louka-Tchuente/88,
AUTHOR = {Louka, Basile and Tchuente, Maurice},
TITLE = {Dynamic programming on two-dimensional systolic arrays},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {97-104},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Mittal/88,
AUTHOR = {Mittal, Hari Ballabh},
TITLE = {A fast backtrack algorithm for graph isomorphism},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {105-110},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ibarra-Jiang-Ravikumar/88,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Ravikumar, Bala},
TITLE = {Some subclasses of context-free languages in $NC^1$},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {111-117},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Shannon/88,
AUTHOR = {Shannon, Gregory E.},
TITLE = {A linear-processor algorithm for depth-first search in planar graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {119-123},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Narendran-Otto/88,
AUTHOR = {Narendran, Paliath and Otto, Friedrich},
TITLE = {Preperfectness is undecidable for Thue systems containing only length-reducing rules and a single commutation rule},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {125-130},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Vossen/88,
AUTHOR = {Vossen, Gottfried},
TITLE = {A new characterization of FD implication with an application to update anomalies},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {131-135},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bodlaender/88d,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {The complexity of finding uniform emulations on fixed graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {137-141},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{van_den_Broek/88a,
AUTHOR = {van den Broek, P.M.},
TITLE = {Confluence of indirection reductions in graph rewrite systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {143-148},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Haldar-Subramanian/88,
AUTHOR = {Haldar, S. and Subramanian, D.K.},
TITLE = {Ring based termination detection algorithm for distributed computations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {149-153},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Korel-Laski/88,
AUTHOR = {Korel, Bogdan and Laski, Janusz},
TITLE = {Dynamic program slicing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {155-163},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Nawrocki-Urbanski/88,
AUTHOR = {Nawrocki, Jerzy R. and Urb{\'a}nski, Andrzej},
TITLE = {Fixed-sized blocks optimization},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {165-169},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bozapalidis-Ioulidis/88,
AUTHOR = {Bozapalidis, Symeon and Ioulidis, Stavros},
TITLE = {Varieties of formal series on trees and Eilenberg's theorem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {171-175},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Cho-Huynh/88,
AUTHOR = {Cho, Sang and Huynh, Dung T.},
TITLE = {On a complexity hierarchy between L and NL},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {177-182},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ouksel-Scheuermann/88,
AUTHOR = {Ouksel, Mohamed and Scheuermann, Peter},
TITLE = {Implicit data structures for linear hashing schemes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {183-189},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Park-Park-Kim/88,
AUTHOR = {Park, Chan-Ik and Park, Kyu Ho and Kim, Myunghwan},
TITLE = {Efficient backward execution in AND/OR process model},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {191-198},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Leiss/88,
AUTHOR = {Leiss, Ernst L.},
TITLE = {On the degree of dominator trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {199-200},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Kruseman_Aretz/88,
AUTHOR = {Kruseman Aretz, F.E.J.},
TITLE = {On a recursive ascent parser},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {201-206},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Schreiber-Rosolini/88,
AUTHOR = {Schreiber, Fabio A. and Rosolini, G.},
TITLE = {An algebraic description of some state-dependent failure mechanisms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {207-211},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Pramanik-Kim/88,
AUTHOR = {Pramanik, Sakti and Kim, Myoung Ho},
TITLE = {HCB-tree: A height compressed B-tree for parallel processing},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {213-220},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gallo-Scuttella/88,
AUTHOR = {Gallo, Giorgio and Scuttell{\`a}, Maria Grazia},
TITLE = {Polynomially solvable satisfiability problems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {221-227},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Boom/88,
AUTHOR = {Boom, H.J.},
TITLE = {Lazy variable-renumbering makes substitution cheap},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {229-232},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Veroy/88,
AUTHOR = {Veroy, Boris S.},
TITLE = {Optimal search algorithm for a minimum of a discrete periodic bimodal function},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {233-239},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
NOTE = {see Corrigendum in Inf.~Process.~Lett.~32, 329},
}
@article{Schorn/88,
AUTHOR = {Schorn, Peter},
TITLE = {A canonical simplifier for trigonometric expressions in the kinematic equation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {241-246},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{ozguner-Aykanat/88,
AUTHOR = {{\"o}zg{\"u}ner, F{\"u}sun and Aykanat, C.},
TITLE = {A reconfiguration algorithm for fault tolerance in a hypercube multiprocessor},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {247-254},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chrobak-Harter/88,
AUTHOR = {Chrobak, Marek and Harter, Richard},
TITLE = {A note on random sampling},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {255-256},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{McCune/88,
AUTHOR = {McCune, William W.},
TITLE = {Un-skolemizing clause sets},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {257-263},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Sharir/88a,
AUTHOR = {Sharir, Micha},
TITLE = {The shortest watchtower and related problems for polyhedral terrains},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {265-270},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{dAtri-Moscarini/88,
AUTHOR = {d'Atri, Alessandro and Moscarini, Marina},
TITLE = {On hypergraph acyclicity and graph chordality},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {271-274},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dublish/88,
AUTHOR = {Dublish, Pratul},
TITLE = {An $O(n^3)$ algorithm for finding the minimal opaque forest of a convex polygon},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {275-276},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Majster-Cederbaum/88,
AUTHOR = {Majster-Cederbaum, Mila E.},
TITLE = {On the uniqueness of fixed points of endofunctors in a category of complete metric spaces},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {277-281},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Waxman-Imase/88,
AUTHOR = {Waxman, Bernard M. and Imase, Makoto},
TITLE = {Worst-case performance of Rayward-Smith's Steiner tree heuristic},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {283-287},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Olariu/88b,
AUTHOR = {Olariu, Stephan},
TITLE = {On the unimodality of convex polygons},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {289-292},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Morgan/88a,
AUTHOR = {Morgan, Carroll},
TITLE = {Auxiliary variables in data refinement},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {293-296},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Guessarian-Priese/88,
AUTHOR = {Guessarian, Ir{\`e}ne and Priese, Lutz},
TITLE = {On the minimal number of $\times$ operators to model regularity in fair SCCS},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {297-300},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Lamb/88,
AUTHOR = {Lamb, David Alex},
TITLE = {Benign side effects},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {301-305},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Shankar-Ramachandran/88,
AUTHOR = {Shankar, Narayan and Ramachandran, Vijaya},
TITLE = {Efficient parallel circuits and algorithms for division},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {307-313},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Moriya/88,
AUTHOR = {Moriya, Tetsuo},
TITLE = {Closure property of principal cones under subsitution},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {315-317},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Veroy/88a,
AUTHOR = {Veroy, Boris S.},
TITLE = {Average complexity of divide-and-conquer algorithms},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {319-326},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
NOTE = {see Corrigendum in Inf.~Process.~Lett.~32, 329},
}
@article{Hagerup/88,
AUTHOR = {Hagerup, Torben},
TITLE = {On saving space in parallel computation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {29},
PAGES = {327-329},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}