Journals in DBLP
Inf. Comput. 1995, volume: 122, number: 2
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]