A WAM extension for type constraint logic programming : specification and correctness proof
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
III, 79 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Bibliographic citation
-
IWBS-Report / Institut für Wissensbasierte Systeme ; 200
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 2:14 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Beierle, Christoph
- IWBS
Time of origin
- 1991
Other Objects (12)
A new correctness proof for prim's algorithm
A general semiunification algorithm and its correctness proof
A machine-checked proof of correctness of Pastry
WAM
Design and proof of multipliers by correctness-preserving transformation
Address spaces and virtual memory : specification, implementation, and correctness
Wagn... - Wam...
Wam-Way
Wam - Wan
Walt - Wam
Karteikarten Waa-Wam
Ulm Wam-Wein
A new correctness proof for prim's algorithm
A general semiunification algorithm and its correctness proof
A machine-checked proof of correctness of Pastry
WAM
Design and proof of multipliers by correctness-preserving transformation
Address spaces and virtual memory : specification, implementation, and correctness
Wagn... - Wam...
Wam-Way
Wam - Wan
Walt - Wam
Karteikarten Waa-Wam
Ulm Wam-Wein
A new correctness proof for prim's algorithm
A general semiunification algorithm and its correctness proof
A machine-checked proof of correctness of Pastry
WAM
Design and proof of multipliers by correctness-preserving transformation
Address spaces and virtual memory : specification, implementation, and correctness
Wagn... - Wam...
Wam-Way
Wam - Wan
Walt - Wam
Karteikarten Waa-Wam