Journals in DBLP

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

1. Ugo de'Liguoro, Adolfo Piperno
   Non Deterministic Extensions of Untyped Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:122, n:2, pp:149-177 [Journal]
   
2. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
   Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:122, n:2, pp:178-200 [Journal]
   
3. Gregory L. McColm
   Pebble Games and Subroutines in Least Fixed Point Logic. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:122, n:2, pp:201-220 [Journal]
   
4. Christian Herrmann
   On the Undecidability of Implications Between Embedded Multivalued Database Dependencies. [Citation Graph (1, 0)][DBLP]
   Inf. Comput., 1995, v:122, n:2, pp:221-235 [Journal]
   
5. Krishnan Pillaipakkamnatt, Vijay V. Raghavan
   Read-Twice DNF Formulas are Properly Learnable. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:122, n:2, pp:236-267 [Journal]
   
6. Carolyn Brown, Doug Gurr
   A Categorical Linear Framework for Petri Nets. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:122, n:2, pp:268-285 [Journal]
   
7. Wan Fokkink, Steven Klusener
   An Effective Axiomatization for Real Time ACP. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1995, v:122, n:2, pp:286-299 [Journal]