Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Informatics and Society: A Curriculum for Distance Education., , and . Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, page 69-78. Springer, (1997)Efficient Implementation of Structural Recursion., and . FCT, volume 278 of Lecture Notes in Computer Science, page 204-213. Springer, (1987)The SRDL Specification Experiment.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 282-293. Springer, (1981)Efficient Implementation of an Algebraic Specification Language., and . Algebraic Methods, volume 394 of Lecture Notes in Computer Science, page 69-90. Springer, (1987)A Simple Class of Algorithmic Specifications for Abstract Software Modules.. MFCS, volume 88 of Lecture Notes in Computer Science, page 362-374. Springer, (1980)Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.. ADT, University of Passau, (1983)Viren, Würmer und Trojaner. Streifzüge durch die Computerwelt. Klöpfer & Meyer, 1.~Aufl. edition, (2006)Algebraische Spezifikation - eine Einführung.. Springer, (1983)Parameterized Software Specifications with Inductively Defined Operations.. ADT, University of Dortmund, (1982)Schreibe dein Programm ! Einführung in die Programmierung, and . (January 2024)