Journals in DBLP

Inf. Comput.
1995, volume: 119, number: 2

1. Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
   Redundancy Elimination and Loop Checks for Logic Programs [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:137-153 [Journal]
   
2. Katsutoshi Nakayama, Akira Maruoka
   Loop Circuits and Their Relation to Razborov's Approximation Model [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:154-159 [Journal]
   
3. Anuj Dawar, Steven Lindell, Scott Weinstein
   Infinitary Logic and Inductive Definability over Finite Structures [Citation Graph (4, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:160-175 [Journal]
   
4. Roberto Di Cosmo
   Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:176-201 [Journal]
   
5. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
   Intersection and Union Types: Syntax and Semantics [Citation Graph (1, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:202-230 [Journal]
   
6. Zhi-Zhong Chen, Seinosuke Toda
   The Complexity of Selecting Maximal Solutions [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:231-239 [Journal]
   
7. Yves Métivier, Gwénaël Richomme
   New Results on the Star Problem in Trace Monoids [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:240-251 [Journal]
   
8. Xavier Gouy, Ying Jiang
   Universal Retractions on DI-Domains [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:252-257 [Journal]
   
9. Amihood Amir, Martin Farach, Ramana M. Idury, Johannes A. La Poutré, Alejandro A. Schäffer
   Improved Dynamic Dictionary Matching [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:119, n:2, pp:258-282 [Journal]
   
10. Gil Neiger
    Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:119, n:2, pp:283-293 [Journal]