researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Inf. Process. Lett.
Home
Index
Info
Volume
Volume
52
, Issue
6
285
--
287
Jan A. Bergstra
,
Gheorghe Stefanescu
.
Bisimulation is Two-Way Simulation
289
--
294
Arturo Carpi
.
On Repeated Factors in C^/infty-Words
295
--
301
Subir Bhattacharya
,
Amitava Bagchi
.
A General Framework for Minimax Search in Game Trees
303
--
307
Philip N. Klein
.
A Data Structure for Bicategories, with Application to Speeding up an Approximation Algorithm
309
--
315
Y. Daniel Liang
.
Dominations in Trapezoid Graphs
317
--
322
Jing-Ho Yan
,
Gerard J. Chang
.
The Path-Partition Problem in Block Graphs
323
--
324
H. Petersen
.
On the Determinacy Problem for Two-Way Pushdown Automata
325
--
327
Luke O Connor
.
An Upper Bound on the Number of Functions Satisfying the Strict Avalanche Criterion
329
--
331
Ravi B. Boppana
.
The Decision-Tree Complexity of Element Distinctness
333
--
337
Wan Fokkink
.
A Complete Equational Axiomatization for Prefix Iteration
339
--
0
Alberto Bertoni
,
Carlo Mereghetti
,
Giovanni Pighizzini
.
Corrigendum: An Optimal Lower Bound for Nonregular Languages
341
--
0
Erl-Huei Lu
,
Yi-Chang Cheng
,
Hsiao-Peng Wuu
.
Corrigendum: A Complete Decoding Algorithm for Double-Error-Correcting Primitive Binary BCH Codes of Odd m
Volume
52
, Issue
5
229
--
233
H. Petersen
.
Refined Simulation of Multihead Automata
235
--
237
Ronald V. Book
.
On Collapsing the Polynomial-Time Hierarchy
239
--
241
Samir Khuller
,
Uzi Vishkin
.
On the Parallel Complexity of Digraph Reachability
243
--
247
James F. Korsh
.
Loopless Generation of k-Ary Tree Sequences
249
--
252
Eric T. Bax
.
Algorithms to Count Paths and Cycles
253
--
257
Mark Allen Weiss
.
Linear-Time Construction of Treaps and Cartesian Trees
259
--
263
Jin-Tai Yan
,
Pei-Yung Hsiao
.
A Fuzzy Clustering Algorithm for Graph Bisection
265
--
271
Zhi-Zhong Chen
.
A Parallel Algorithm for Finding a Triconnected Component Separator with an Application
273
--
276
Zbigniew Duszak
,
Waldemar W. Koczkodaj
.
Generalization of a New Definition of Consistency for Pairwise Comparisons
277
--
284
Fabrizio Luccio
,
Alberto Pedrotti
.
A Parallel List Update Problem
Volume
52
, Issue
4
175
--
180
Rajesh P. N. Rao
,
Jörg Rothe
,
Osamu Watanabe
.
Upward Separation for FewP and Related Classes
181
--
182
Ernie Cohen
.
The Convergence Span of Greedy Load Balancing
183
--
189
Chuzo Iwamoto
,
Godfried T. Toussaint
.
Finding Hamiltonian Circuits in Arrangements of Jordan Curves is NP-Complete
191
--
199
Su-Hyun Lee
,
Do-Hyung Kim
,
Kwang-Moo Choe
.
Path for AND-Parallel Execution of Logic Programs
201
--
206
Hung-Min Sun
,
Shiuh-Pyng Shieh
.
On Dynamic Threshold Schemes
207
--
213
Esko Nuutila
.
An Efficient Transitive Closure Algorithm for Cyclic Digraphs
215
--
221
Mark de Berg
,
Marc J. van Kreveld
.
Rectilinear Decompositions with Low Stabbing Number
223
--
228
Pierre Kelsen
.
An Optimal Parallel Algorithm for Maximal Matching
Volume
52
, Issue
3
115
--
121
Alberto Pedrotti
.
Analysis of a List-Update Strategy
123
--
129
Y. Daniel Liang
.
On the Feedback Vertex Set Problem in Permutation Graphs
131
--
136
Kirk Pruhs
.
Average-Case Scalable On-Line Algorithms for Fault Replacement
137
--
145
Irène Durand
,
Bruno Salinier
.
Constructor Equivalent Term Rewriting Systems are Strongly Sequential: A Direct Proof
147
--
154
Paul F. Dietz
,
Rajeev Raman
.
A Constant Update Time Finger Search Tree
155
--
159
Luc Devroye
,
Paul Kruszewski
.
A Note on the Horton-Strahler Number for Random Trees
161
--
165
Frank Wagner
.
Approximate Map Labeling is in Omega (n log n)
167
--
173
Michele Flammini
.
On the Learnability of Monotone k /mu-DNF Formulae Under Product Distributions
Volume
52
, Issue
2
57
--
60
Helmut Seidl
.
Haskell Overloading is DEXPTIME-Complete
61
--
68
Mikael Rittri
.
Semi-Unification of Two Terms in Abelian Groups
69
--
75
Bern-Cherng Liaw
,
Richard C. T. Lee
.
An Optimal Algorithm to Solve the Minimum Weakly Cooperative Guards Problem for 1-Spiral Polygons
77
--
85
Chen-Hsing Peng
,
Jia-Shung Wang
,
Richard C. T. Lee
.
Recognizing Shortest-Path Trees in Linear Time
87
--
90
Refael Hassin
,
Shlomo Lahav
.
Maximizing the Number of Unused Colors in the Vertex Coloring Problem
91
--
98
Takehiro Tokuda
,
Yoshimichi Watanabe
.
An Attribute Evaluation of Context-Free Languages
99
--
103
Mohamed G. Gouda
.
Stabilizing Observers
105
--
108
Jean Mayo
,
Phil Kearns
.
Distributed Termination Detection with Roughly Synchronized Clocks
109
--
114
Thomas Roos
,
Peter Widmayer
.
k-Violation Linear Programming
Volume
52
, Issue
1
1
--
6
Nakagawa Akinari
,
Hiroshi Hagiwara
.
On the Real-Number Representation with Variable-Length Exponent Field
7
--
15
Charles U. Martel
.
Maximum Finding on a Multiple Access Broadcast Network
15
--
22
Torben Æ. Mogensen
.
WORM-2DPDAs: An Extension to 2DPDAs that can be Simulated in Linear Time
23
--
29
Md. Mozammel Huq Azad Khan
.
An Algorithm for Hazard-Free Minimization of Incompletely Specified Switching Function
31
--
34
Lawrence L. Larmore
,
Wojciech Rytter
.
An Optimal Sublinear Time Parallel Algorithm for Some Dynamic Programming Problems
35
--
38
Shao Dong Chen
,
Hong Shen
,
Rodney W. Topor
.
An Efficient Permutation-Based Parallel Range-Join Algorithm on N-Dimensional Torus Computers
39
--
43
Jon M. Kleinberg
.
A Lower Bound for Two-Server Balancing Algorithms
45
--
49
Giulia Galbiati
,
Francesco Maffioli
,
Angelo Morzenti
.
A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem
51
--
56
Aohan Mei
,
Yoshihide Igarashi
.
An Efficient Strategy for Robot Navigation in Unknown Environment