default search action
Theoretical Computer Science, Volume 105
Volume 105, Number 1, 1992
- Hélène Kirchner:
To Prof. Dr. Wolfgang Wechler. 4-5 - Phan Minh Dung:
On the Relations between Stable and Well-Founded Semantics of Logic Programs. 7-25 - Kanchana Kanchanasut, Peter J. Stuckey:
Transforming Normal Logic Programs to Constraint Logic Programs. 27-56 - Taisuke Sato
:
Equivalence-Preserving First-Order Unfold/Fold Transformation Systems. 57-84 - Maurizio Gabbrielli
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. 85-128 - Dieter Hofbauer:
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. 129-140 - Françoise Debart, Patrice Enjalbert, Madeleine Lescot:
Multimodal Logic Programming Using Equational and Order-Sorted Logic. 141-166
Volume 105, Number 2, 1992
- Ian A. Mason, Carolyn L. Talcott:
Inferring the Equivalence of Functional Programs That Mutate Data. 167-215 - Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. 217-273 - Ming-Hua Zhang:
Data Types with Errors and Exceptions. 275-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 2024-12-22 19:02 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: