|
Journals in DBLP
- Frank K. H. A. Dehne, Katia S. Guimarães
Exact and Approximate Computational Geometry Solutions of an Unrestricted Point Set Stereo Matching Problem. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1997, v:64, n:3, pp:107-114 [Journal]
- Eric Aaron, David Gries
Formal Justification of Underspecification for S5. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1997, v:64, n:3, pp:115-121 [Journal]
- Marianne Flouret, Éric Laugerotte
Noncommutative Minimization Algorithms. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1997, v:64, n:3, pp:123-126 [Journal]
- Luca Aceto, Anna Ingólfsdóttir
A Characterization of Finitary Bisimulation. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1997, v:64, n:3, pp:127-134 [Journal]
- Wai Yin Mok, David W. Embley
On Improving Dependency Implication Algorithms. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1997, v:64, n:3, pp:135-141 [Journal]
- Min-Sheng Lin, Deng-Jyi Chen
The Computational Complexity of the Reliability Problem on Distributed Systems. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1997, v:64, n:3, pp:143-147 [Journal]
- Enrico Nardelli, Vincenzo Mastrobuoni, Alesiano Santomo
Computing a Poset from its Realizer. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1997, v:64, n:3, pp:149-154 [Journal]
- Susanne Albers, Michael Mitzenmacher
Revisiting the Counter Algorithms for List Update. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1997, v:64, n:3, pp:155-160 [Journal]
|