![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
, 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.