Journal: Inf. Process. Lett.

Volume 101, Issue 1

1 -- 5Joost Engelfriet, Tjalling Gelsema. An exercise in structural congruence
6 -- 12Houman Alborzi, Hanan Samet. Execution time analysis of a top-down R-tree construction algorithm
13 -- 19Eric McDermid, Christine Cheng, Ichiro Suzuki. Hardness results on the man-exchange stable marriage problem with short preference lists
20 -- 25Junhu Wang. Binary equality implication constraints, normal forms and data redundancy
26 -- 29Uriel Feige, James R. Lee. An improved approximation ratio for the minimum linear arrangement problem
30 -- 35Vardges Melkonian. Flows in dynamic networks with aggregate arc capacities
36 -- 40Faisal N. Abu-Khzam, Michael A. Langston. Linear-time algorithms for problems on planar graphs with fixed disk dimension
41 -- 45Richard S. Bird, Stefan Sadnicki. Minimal on-line labelling
46 -- 51Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. Theorem-proving anonymity of infinite-state systems