Horst Reichel

Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel: Algebraic-coalgebraic specification in CoCasl. J. Log. Algebr. Program. 67(1-2): 146-197 (2006)

Horst Reichel: An Algebraic Approach to Regular Sets. Essays Dedicated to Joseph A. Goguen 2006: 449-458

Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392

Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten: Foreword : Coalgebraic Methods in Computer Science 1998. Theor. Comput. Sci. 260(1-2): 1 (2001)

Afonso Ferreira, Horst Reichel (Eds.): STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings. Lecture Notes in Computer Science 2010, Springer 2001, isbn 3-540-41695-1

Horst Reichel: Preface. Electr. Notes Theor. Comput. Sci. 33: 1-2 (2000)

Horst Reichel, Sophie Tison (Eds.): STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings. Lecture Notes in Computer Science 1770, Springer 2000, isbn 3-540-67141-2

Horst Reichel: A Uniform Model Theory for the Specification of Data and Process Types. WADT 1999: 348-365

Horst Reichel: Dialgebraic Logics. Electr. Notes Theor. Comput. Sci. 11: 243-251 (1998)

Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten: Preface. Electr. Notes Theor. Comput. Sci. 11: 259 (1998)

Jörg Desel, Horst Reichel: Workshop: Grundlagen der Parallelität. GI Jahrestagung 1997: 626

Horst Reichel: Unifying ADT - and Evolving Algebra Specifications. Bulletin of the EATCS 59 (1996)

Horst Reichel: An Approach to Object Semantics based on Terminal Co-Algebras. Mathematical Structures in Computer Science 5(2): 129-152 (1995)

Horst Reichel (Ed.): Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings. Lecture Notes in Computer Science 965, Springer 1995, isbn 3-540-60249-6

Ulrich Hensel, Horst Reichel: Defining Equations in Terminal Coalgebras. COMPASS/ADT 1994: 307-318

Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel (Eds.): Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Lecture Notes in Computer Science 534, Springer 1991, isbn 3-540-54496-8

Horst Reichel: A Two-Category Approach to Critical Pair Completion. ADT 1990: 266-273

Horst Reichel: Operational Semantics of Behavioural Canons based on Narrowing. ADT 1987: 235-248

Horst Reichel: Software Specification by Behavioural Canons. Algebraic Methods 1987: 117-138

Horst Reichel: Computable Functional Enrichments of Parameterized Behavioural Data Types. ADT 1986

Horst Reichel: Behavioral Program Specification. CTCS 1985: 390-411

Ulrich L. Hupbach, Horst Reichel: On Behavioural Equivalence of Data Types. Elektronische Informationsverarbeitung und Kybernetik 19(6): 297-305 (1983)

Horst Reichel: Initially-Restricting Algebraic Theories. MFCS 1980: 504-514

H. Kaphengst, Horst Reichel: Initial Algebraic Semantics for Non Context-Free Languages. FCT 1977: 120-126