( en | de | ru )

 

Disambiguation of "Partsch, Helmuth"

Author of the publication

copydeleteadd this publication to your clipboard
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.

, , , , , and . Inform. Spektrum, 5 (2): 107-119 (1982)

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.

Helmuth Partsch

Holger Partsch

Susanna Partsch

Annelise Partsch

Christoph Partsch

 

Other publications of authors with the same name

Comments on I. Dimitrov.. International Working Conference on Model Realism, page 78-80. Springer, (1982)Examples for Change of Types and Object Structures., and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 421-463. Springer, (1978)Introduction., , and . Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 1-6. Springer, (1993)Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt., and . Methods of Programming, volume 544 of Lecture Notes in Computer Science, page 35-48. Springer, (1991)An Exercise in the Transformational Derivation of an Efficient Program by Joing Development of Control and Data Structure.. Sci. Comput. Program., 3 (1): 1-35 (1983)Structuring Transformational Developments: A Case Study Based on Earley's Recognizer.. Sci. Comput. Program., 4 (1): 17-44 (1984)Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures.. Fachtagung über Programmiersprachen, volume 77 of Informatik-Fachberichte, page 41-57. Springer, (1984)Abstract Data Types as a Tool for Requirement Engineering., and . Requirements Engineering, volume 74 of Informatik-Fachberichte, page 42-55. Springer, (1983)Formal Problem Specification on an Algebraic Basis.. Formal Program Development, volume 755 of Lecture Notes in Computer Science, page 183-224. Springer, (1993)Special Transformation Techniques., , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 290-321. Springer, (1978)