@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},
}
@article{Kirchherr/88,
AUTHOR = {Kirchherr, Walter W.},
TITLE = {Transposition of an $l\times l$ matrix requires $\Omega(\log l)$ reversals on conservative Turing machines},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {55-59},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Gazit-Miller/88,
AUTHOR = {Gazit, Hillel and Miller, Gary L.},
TITLE = {An improved parallel algorithm that computes the BFS numbering of a directed graph},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {61-65},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Dehne-Stojmenovic/88,
AUTHOR = {Dehne, Frank and Stojmenovi{\'c}, Ivan},
TITLE = {An $O(\sqrt{n})$ time algorithm for the ECDF searching problem for arbitrary dimensions on a mesh-of-processors},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {67-70},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Pan/88a,
AUTHOR = {Pan, Victor},
TITLE = {Computing the determinant and the characteristic polynomial of a matrix via solving linear systems of equations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {71-75},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Engelfriet-Hoogeboom/88,
AUTHOR = {Engelfriet, Joost and Hoogeboom, Hendrik Jan},
TITLE = {Prefix and equality languages of rational functions are co-context-free},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {77-79},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bovet-Agostino-Petreschi/88,
AUTHOR = {Bovet, Daniele P. and Agostino, S. de and Petreschi, R.},
TITLE = {Parallelism and the feedback vertex set problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {81-85},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Auffray/88,
AUTHOR = {Auffray, Yves},
TITLE = {Linear strategy for propositional modal resolution},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {87-92},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ebert/88,
AUTHOR = {Ebert, J{\"u}rgen},
TITLE = {Computing Eulerian trials},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {93-97},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Anderson-Gouda/88,
AUTHOR = {Anderson, James H. and Gouda, Mohamed G.},
TITLE = {Atomic semantics of nonatomic programs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {99-103},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Schevon-Vitter/88,
AUTHOR = {Schevon, Catherine A. and Vitter, Jeffrey Scott},
TITLE = {A parallel algorithm for recognizing unordered depth-first search},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {105-110},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Brandwajn/88,
AUTHOR = {Brandwajn, Alexandre},
TITLE = {Load imbalance in DASD dynamic reconnection},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {111-119},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Mishra/88,
AUTHOR = {Mishra, Prateek},
TITLE = {Strictness analysis of the untyped $\lambda$-calculus},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {121-125},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Aguilar-Martin-Alsina/88,
AUTHOR = {Aguilar-Martin, J. and Alsina, Claudi},
TITLE = {Characterizations of some rescaling functions},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {127-132},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Weiss-Sedgewick/88,
AUTHOR = {Weiss, Mark Allen and Sedgewick, Robert},
TITLE = {Bad cases for shaker-sort},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {133-136},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Morrison/88,
AUTHOR = {Morrison, John F.},
TITLE = {Parallel $p$-adic computation},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {137-140},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Luccio-Pietracaprina-Pucci/88,
AUTHOR = {Luccio, Fabrizio and Pietracaprina, A. and Pucci, G.},
TITLE = {A probabilistic simulation of PRAMs on a bounded degree network},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {141-147},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chan-Chung/88,
AUTHOR = {Chan, M.Y. and Chung, W.L.},
TITLE = {Optimal multidisk partial match file designs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {149-155},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ural-Yang/88,
AUTHOR = {Ural, Hasan and Yang, Bo},
TITLE = {A structural test selection criterion},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {157-163},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{ODunlaing/88,
AUTHOR = {O'D{\'u}nlaing, Colm},
TITLE = {A tight lower bound for the complexity of path-planning for a disc},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {165-170},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Imase-Manabe/88,
AUTHOR = {Imase, Makoto and Manabe, Yoshifumi},
TITLE = {Fault-tolerant routings in a $k$-connected network},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {171-175},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chung-Krishnamoorthy/88,
AUTHOR = {Chung, Moon Jung and Krishnamoorthy, M.S.},
TITLE = {Algorithms of placing recovery points},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {177-181},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Du-Leung/88,
AUTHOR = {Du, Jianzhong and Leung, Joseph Y.-T.},
TITLE = {Scheduling tree-structured tasks with restricted execution times},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {183-188},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Rosenkrantz-Hunt/88,
AUTHOR = {Rosenkrantz, Daniel J. and Hunt III, Harry B.},
TITLE = {Matrix multiplication for finite algebraic systems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {189-192},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Takada/88,
AUTHOR = {Takada, Yuji},
TITLE = {Grammatical inference for even linear languages based on control sets},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {193-199},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chen-Lai/88a,
AUTHOR = {Chen, Guan-Ing and Lai, Ten-Hwang},
TITLE = {Preemptive scheduling of independent jobs on a hypercube},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {201-206},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Brassard-Kannan/88,
AUTHOR = {Brassard, Gilles and Kannan, Sampath},
TITLE = {The generation of random permutations on the fly},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {207-212},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Suzuki/88,
AUTHOR = {Suzuki, Ichiro},
TITLE = {Proving properties of a ring of finite-state machines},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {213-214},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Inoue-Takanami/88,
AUTHOR = {Inoue, Katsushi and Takanami, Itsuo},
TITLE = {Some considerations about Npriority (1) without ROM},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {215-219},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Mazurkiewicz/88a,
AUTHOR = {Mazurkiewicz, Antoni},
TITLE = {Solvability of the asynchronous ranking problem},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {221-224},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Iyer-Ratliff-Vijayan/88,
AUTHOR = {Iyer, Ananth V. and Ratliff, H. Donald and Vijayan, G.},
TITLE = {Optimal node ranking of trees},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {225-229},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Platt-Magdy/88,
AUTHOR = {Platt, Don and Magdy, Moneeb A.},
TITLE = {Adaptive control using switched capacitor filters},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {231-234},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Shuo-Yen/88,
AUTHOR = {Shuo-Yen, Robert Li},
TITLE = {Reconstruction of polygons from projections},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {235-240},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Karloff-Paturi-Simon/88,
AUTHOR = {Karloff, Howard J. and Paturi, Ramamohan and Simon, Janos},
TITLE = {Universal traversal sequences of length $n^{O(\log n)}$ for cliques},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {241-243},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Romeuf/88,
AUTHOR = {Romeuf, Jean-Fran{\c{c}}ois},
TITLE = {Shortest path under rational constraint},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {245-248},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ciaccia-Maio-Tiberio/88,
AUTHOR = {Ciaccia, Paolo and Maio, Dario and Tiberio, Paolo},
TITLE = {A unifying approach to evaluating block accesses in database organizations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {253-257},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Das-Fay/88,
AUTHOR = {Das, P.K. and Fay, D.Q.M.},
TITLE = {Fault-tolerant and flexible interconnection of multiple processors},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {259-268},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Miller-Gadia-Kothari-Liu/88,
AUTHOR = {Miller, Leslie L. and Gadia, S.K. and Kothari, S. and Liu, K.C.},
TITLE = {Completeness issues for join dependencies derived from the universal relation join dependency},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {269-274},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Bertossi/88a,
AUTHOR = {Bertossi, Alain A.},
TITLE = {On the domatic number of interval graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {275-280},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Wang-Kuo/88,
AUTHOR = {Wang, D.W. and Kuo, Yue-Sun},
TITLE = {A study on two geometric location problems},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {281-286},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Vidyasankar/88,
AUTHOR = {Vidyasankar, K.},
TITLE = {Converting Lamport's regular register to atomic register},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {287-290},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Hartmanis-Hemachandra/88a,
AUTHOR = {Hartmanis, Juris and Hemachandra, Lane},
TITLE = {On sparse oracles separating feasible complexity classes},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {291-295},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chen-Yu-Liu/88,
AUTHOR = {Chen, Gen-Huey and Yu, M.S. and Liu, L.T.},
TITLE = {Two algorithms for constructing a binary tree from its traversals},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {297-299},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Ho-Lee/88,
AUTHOR = {Ho, Chin-Wen and Lee, Richard C.T.},
TITLE = {Efficient parallel algorithms for finding maximal cliques, clique trees, and minimum coloring on chordal graphs},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {301-309},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Liskiewicz-Lorys/88,
AUTHOR = {Li{\'s}kiewicz, Maciej and Lory{\'s}, Krzysztof},
TITLE = {Alternating real-time computations},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {311-316},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}
@article{Chan-Hernandez/88,
AUTHOR = {Chan, Edward P.F. and Hern{\'a}ndez, H{\'e}ctor J.},
TITLE = {Testing unboundedness of database schemes and functional dependencies},
JOURNAL = {Inf.~Process.~Lett.},
VOLUME = {28},
PAGES = {317-326},
YEAR = {1988},
PUBLISHER = {North-Holland Publishing Company},
ADDRESS = {Amsterdam-New York-Oxford-Tokyo},
}