|
Journals in DBLP
Inf. Comput. 1995, volume: 118, number: 1
- Amihood Amir, Martin Farach
Efficient 2-Dimensional Approximate Matching of Half-Rectangular Figures [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:1-11 [Journal]
- Peter J. Stuckey
Negation and Constraint Logic Programming [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:12-33 [Journal]
- Samir Khuller, Yossi Matias
A Simple Randomized Sieve Algorithm for the Closest-Pair Problem [Citation Graph (1, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:34-37 [Journal]
- Walter Vogler
Generalized OM-Bisimulation [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:38-47 [Journal]
- William J. Bultman, Wolfgang Maass
Fast Identification of Geometric Objects with Membership Queries [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:48-64 [Journal]
- John Shawe-Taylor
Sample Sizes for Threshold Networks with Equivalences [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:65-72 [Journal]
- Richard Beigel, Martin Kummer, Frank Stephan
Quantifying the Amount of Verboseness [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:73-90 [Journal]
- Gregory Kucherov, Mohamed Tajine
Decidability of Regularity and Related Properties of Ground Normal Form Languages [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:91-100 [Journal]
- Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan
Testing Language Containment for omega-Automata Using BDD's [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:101-109 [Journal]
- Igor Litovsky, Yves Métivier, Wieslaw Zielonka
On the Recognition of Families of Graphs with Local Computations [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:110-119 [Journal]
- Masako Takahashi
Parallel Reductions in lambda-Calculus [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:120-127 [Journal]
- Jens Palsberg, Michael I. Schwartzbach
Safety Analysis versus Type Inference [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:128-141 [Journal]
- Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
Timing Verification by Successive Approximation [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:142-157 [Journal]
- Flaviu Cristian, Houtan Aghili, H. Raymond Strong, Danny Dolev
Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:118, n:1, pp:158-179 [Journal]
|