( en | de | ru )

 

Disambiguation of "Reichel, Horst"

Author of the publication

copydeleteadd this publication to your clipboard
Algebraic-co-algebraic specification in CoCASL

, , , and . Journal of Logic and Algebraic Programming, 67 (1-2): 146-197 (2006)Extends (Mossakowski et al. 2003).

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.. Math. Struct. Comput. Sci., 5 (2): 129-152 (1995)Unifying ADT - and Evolving Algebra Specifications.. Bulletin of the EATCS, (1996)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)Specification Semantics.. Algebraic Foundations of Systems Specification, Springer, (1999)Structural Induction on Partial Algebras. Mathematical Research Akademie-Verlag, (1984)Foreword : Coalgebraic Methods in Computer Science 1998., , , and . Theor. Comput. Sci., 260 (1-2): 1 (2001)Operational Semantics of Behavioural Canons based on Narrowing.. ADT, volume 332 of Lecture Notes in Computer Science, page 235-248. Springer, (1987)Workshop: Grundlagen der Parallelität., and . GI Jahrestagung, page 626. Springer, (1997)