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

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