 | 2006 |
|---|
| 24 |       | Horst Reichel:
An Algebraic Approach to Regular Sets.
Essays Dedicated to Joseph A. Goguen 2006: 449-458 |
| 23 | | Till Mossakowski,
Lutz Schröder,
Markus Roggenbach,
Horst Reichel:
Algebraic-coalgebraic specification in CoCasl.
J. Log. Algebr. Program. 67(1-2): 146-197 (2006) |
| 2002 |
|---|
| 22 | | Till Mossakowski,
Horst Reichel,
Markus Roggenbach,
Lutz Schröder:
Algebraic-Coalgebraic Specification in Co Casl.
WADT 2002: 376-392 |
| 2001 |
|---|
| 21 |  | Afonso Ferreira,
Horst Reichel:
STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings
Springer 2001 |
| 20 | | 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) |
| 2000 |
|---|
| 19 | | Horst Reichel,
Sophie Tison:
STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings
Springer 2000 |
| 18 | | Horst Reichel:
Preface.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1999 |
|---|
| 17 | | Horst Reichel:
A Uniform Model Theory for the Specification of Data and Process Types.
WADT 1999: 348-365 |
| 1998 |
|---|
| 16 | | Horst Reichel:
Dialgebraic Logics.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
| 15 | | Bart Jacobs,
Larry Moss,
Horst Reichel,
Jan J. M. M. Rutten:
Preface.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
| 1997 |
|---|
| 14 | | Jörg Desel,
Horst Reichel:
Workshop: Grundlagen der Parallelität.
GI Jahrestagung 1997: 626 |
| 1996 |
|---|
| 13 | | Horst Reichel:
Unifying ADT - and Evolving Algebra Specifications.
Bulletin of the EATCS 59: (1996) |
| 1995 |
|---|
| 12 | | Horst Reichel:
Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings
Springer 1995 |
| 11 | | Horst Reichel:
An Approach to Object Semantics based on Terminal Co-Algebras.
Mathematical Structures in Computer Science 5(2): 129-152 (1995) |
| 1994 |
|---|
| 10 | | Ulrich Hensel,
Horst Reichel:
Defining Equations in Terminal Coalgebras.
COMPASS/ADT 1994: 307-318 |
| 1991 |
|---|
| 9 | | Hartmut Ehrig,
Klaus P. Jantke,
Fernando Orejas,
Horst Reichel:
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990
Springer 1991 |
| 1990 |
|---|
| 8 | | Horst Reichel:
A Two-Category Approach to Critical Pair Completion.
ADT 1990: 266-273 |
| 1987 |
|---|
| 7 | | Horst Reichel:
Operational Semantics of Behavioural Canons based on Narrowing.
ADT 1987: 235-248 |
| 6 | | Horst Reichel:
Software Specification by Behavioural Canons.
Algebraic Methods 1987: 117-138 |
| 1986 |
|---|
| 5 | | Horst Reichel:
Computable Functional Enrichments of Parameterized Behavioural Data Types.
ADT 1986 |
| 1985 |
|---|
| 4 | | Horst Reichel:
Behavioral Program Specification.
CTCS 1985: 390-411 |
| 1983 |
|---|
| 3 | | Ulrich L. Hupbach,
Horst Reichel:
On Behavioural Equivalence of Data Types.
Elektronische Informationsverarbeitung und Kybernetik 19(6): 297-305 (1983) |
| 1980 |
|---|
| 2 | | Horst Reichel:
Initially-Restricting Algebraic Theories.
MFCS 1980: 504-514 |
| 1977 |
|---|
| 1 | | H. Kaphengst,
Horst Reichel:
Initial Algebraic Semantics for Non Context-Free Languages.
FCT 1977: 120-126 |
