( en | de | ru )

 

Disambiguation of "Reichel, Horst"

Author of the publication

copydeleteadd this publication to your clipboard
Initial Algebraic Semantics for Non Context-Free Languages.

, and . FCT, volume 56 of Lecture Notes in Computer Science, page 120-126. Springer, (1977)

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.

Horst Reichel

Horst Reichel

Horst Reichel

Horst Reichel

Horst Reichel

 

Other publications of authors with the same name

An Approach to Object Semantics based on Terminal Co-Algebras.. Mathematical Structures in Computer Science, 5 (2): 129-152 (1995)A Two-Category Approach to Critical Pair Completion.. ADT, volume 534 of Lecture Notes in Computer Science, page 266-273. Springer, (1990)Initially-Restricting Algebraic Theories.. MFCS, volume 88 of Lecture Notes in Computer Science, page 504-514. Springer, (1980)An Algebraic Approach to Regular Sets.. Essays Dedicated to Joseph A. Goguen, volume 4060 of Lecture Notes in Computer Science, page 449-458. Springer, (2006)Algebraic-co-algebraic specification in CoCASL, , , and . Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, volume 2755 of Lecture Notes in Computer Science, page 376--392. Springer; Berlin; http://www.springer.de, (2003)Software Specification by Behavioural Canons.. Algebraic Methods, volume 394 of Lecture Notes in Computer Science, page 117-138. Springer, (1987)Forschung zu Abstrakten Datentypen im ZFT des Kombinates ROBOTRON.. Informatik in der DDR, volume T-3 of LNI, page 41-47. Gesellschaft für Informatik, Bonn, (2008)Workshop: Grundlagen der Parallelität., and . GI Jahrestagung, page 626. Springer, (1997)Operational Semantics of Behavioural Canons based on Narrowing.. ADT, volume 332 of Lecture Notes in Computer Science, page 235-248. Springer, (1987)A Uniform Model Theory for the Specification of Data and Process Types.. WADT, volume 1827 of Lecture Notes in Computer Science, page 348-365. Springer, (1999)