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, Giorgio Levi: 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