Provable correctness of prototype interpreters in LDL

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Dimensions: 21 cm
• Extent: 72 S.
• Language: Deutsch
• Notes: graph. Darst. ; Literaturverz. S. 53 - 56

References and Relationships

• Bibliographic citation: Preprints aus dem Fachbereich Informatik / Universität Rostock ; 93,9

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Rostock
• (who): Univ., Presse- und Informationsstelle, Wiss.-Publ.
• (when): 1993
• Event: Veröffentlichung
• (where): Rostock
• (who): Univ., Fachbereich Informatik
• (when): 1993
• Creator: Riedewald, Günter ; Lämmel, Ralf

Further information

• Table of contents: https://d-nb.info/941987930/04
• Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Last update: 11.06.2025, 2:17 PM CEST