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 BibTeX
Alexander Aiken, Dexter Kozen, Edward L. Wimmers: Decidability of Systems of Set Constraints with Negative Constraints. 30-44 BibTeX
Hong Chen, Jieh Hsiang: Recurrence Domains: Their Unification and Application to Logic Programming. 45-69 BibTeX
Mario Coppo, Paola Giannini: Principal Types and Unification for a Simple Intersection Type System. 70-96 BibTeX
Pierpaolo Degano, Roberto Gorrieri: A Causal Operational Semantics of Action Refinement. 97-119 BibTeX
Dieter Spreen: On Some Decision Problems in Programming. 120-139 BibTeX
S. Muthukrishnan, H. Ramesh: String Matching Under a General Matching Relation. 140-148 BibTeX

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