default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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 Raghavan:
Read-Twice DNF Formulas are Properly Learnable. 236-267 - Carolyn Brown, Doug Gurr:
A Categorical Linear Framework for Petri Nets. 268-285 - Wan J. Fokkink, Steven Klusener:
An Effective Axiomatization for Real Time ACP. 286-299
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
