Journals in DBLP
Inf. Comput. 1995, volume: 116, number: 1
Michiel H. M. Smid Dynamic Rectangular Point Location, with an Application to the Closest Pair Problem [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:1-9 [Journal ] Michael Huth A Maximal Monoidal Closed Category of Distributive Algebraic Domains [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:10-25 [Journal ] Juanito Camilleri , Glynn Winskel CCS with Priority Choice [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:26-37 [Journal ] Bent Thomsen A Theory of Higher Order Communicating Systems [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:38-57 [Journal ] Anil Nerode , Raymond T. Ng , V. S. Subrahmanian Computing Circumscriptive Databases: I. Theory and Algorithms [Citation Graph (4, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:58-80 [Journal ] Naoki Abe Characterizing PAC-Learnability of Semilinear Sets [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:81-102 [Journal ] Neil Immerman , Susan Landau The Complexity of Iterated Multiplication [Citation Graph (2, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:103-116 [Journal ] Wayne Eberly Fast Parallel Band Matrix Arithmetic [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:117-127 [Journal ] Dafna Sheinwald , Abraham Lempel , Jacob Ziv On Encoding and Decoding with Two-Way Head Machines [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:128-133 [Journal ] Volker Diekert , Paul Gastin , Antoine Petit Rational and Recognizable Complex Trace Languages [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:116, n:1, pp:134-153 [Journal ]