Information and Computation
, Volume 122
Volume 122, Number 1, October 1995
Maurizio Gabbrielli
,
Giorgio Levi
,
Maria Chiara Meo
:
Observable Behaviors and Equivalences of Logic Programs.
1-29
Alexander Aiken
,
Dexter Kozen
,
Edward L. Wimmers
:
Decidability of Systems of Set Constraints with Negative Constraints.
30-44
Hong Chen
,
Jieh Hsiang
:
Recurrence Domains: Their Unification and Application to Logic Programming.
45-69
Mario Coppo
,
Paola Giannini
:
Principal Types and Unification for a Simple Intersection Type System.
70-96
Pierpaolo Degano
,
Roberto Gorrieri
:
A Causal Operational Semantics of Action Refinement.
97-119
Dieter Spreen
:
On Some Decision Problems in Programming.
120-139
S. Muthukrishnan
,
H. Ramesh
:
String Matching Under a General Matching Relation.
140-148
Volume 122, Number 2, November 1, 1995
Ugo de'Liguoro
,
Adolfo Piperno
:
Non Deterministic Extensions of Untyped Lambda-Calculus.
149-177
Roberto Barbuti
,
Michael Codish
,
Roberto Giacobazzi
,
Michael J. Maher
:
Oracle Semantics for Prolog.
178-200
Gregory L. McColm
:
Pebble Games and Subroutines in Least Fixed Point Logic.
201-220
Christian Herrmann
:
On the Undecidability of Implications Between Embedded Multivalued Database Dependencies.
221-235
Krishnan Pillaipakkamnatt
,
Vijay V. Raghavan
:
Read-Twice DNF Formulas are Properly Learnable.
236-267
Carolyn Brown
,
Doug Gurr
:
A Categorical Linear Framework for Petri Nets.
268-285
Wan Fokkink
,
Steven Klusener
:
An Effective Axiomatization for Real Time ACP.
286-299
Last update Sat May 18 20:28:09 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page