( en | de | ru )

 

Disambiguation of "Reichel, Horst"

Author of the publication

copydeleteadd this publication to your clipboard
Structural Induction on Partial Algebras

. Mathematical Research Akademie-Verlag, (1984)

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)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)Unifying ADT - and Evolving Algebra Specifications.. Bulletin of the EATCS, (1996)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)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)Initial Algebraic Semantics for Non Context-Free Languages., and . FCT, volume 56 of Lecture Notes in Computer Science, page 120-126. Springer, (1977)Workshop: Grundlagen der Parallelität., and . GI Jahrestagung, page 626. Springer, (1997)Preface., , , and . CMCS, volume 11 of Electronic Notes in Theoretical Computer Science, page 259. Elsevier, (1998)