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
  

Last update Mon Feb 13 04:57:55 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page