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

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