Horst Reichel

30 papers A 2B 3Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
2008 — conf
Forschung zu Abstrakten Datentypen im ZFT des Kombinates ROBOTRON.
Informatik in der DDR
Horst Reichel
2006 J jnl
Algebraic-coalgebraic specification in CoCasl.
J. Log. Algebraic Methods Program.
Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
2006 — conf
An Algebraic Approach to Regular Sets.
Essays Dedicated to Joseph A. Goguen
Horst Reichel
2002 — conf
Algebraic-Coalgebraic Specification in Co Casl.
WADT
Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
2001 J jnl
Foreword : Coalgebraic Methods in Computer Science 1998.
Theor. Comput. Sci.
Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
2001 A ed.
STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings
STACS
Afonso Ferreira, Horst Reichel
2000 — ed.
Coalgebraic Methods in Computer Science, CMCS 2000, Berlin, Germany, March 25-26, 2000
CMCS
Horst Reichel
2000 — conf
Preface.
CMCS
Horst Reichel
2000 A ed.
STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings
STACS
Horst Reichel, Sophie Tison
1999 — conf
A Uniform Model Theory for the Specification of Data and Process Types.
WADT
Horst Reichel
1999 — ch.
From Total Equational to Partial First-Order Logic.
Algebraic Foundations of Systems Specification
Maura Cerioli, Till Mossakowski, Horst Reichel
1999 — ch.
Specification Semantics.
Algebraic Foundations of Systems Specification
Horst Reichel
1998 — conf
Dialgebraic Logics.
CMCS
Horst Reichel
1998 — ed.
First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998
CMCS
Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
1998 — conf
Preface.
CMCS
Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
1997 — conf
Workshop: Grundlagen der Parallelität.
GI Jahrestagung
Jörg Desel, Horst Reichel
1996 J jnl
Unifying ADT - and Evolving Algebra Specifications.
Bull. EATCS
Horst Reichel
1995 J jnl
An Approach to Object Semantics based on Terminal Co-Algebras.
Math. Struct. Comput. Sci.
Horst Reichel
1995 B ed.
Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings
FCT
Horst Reichel
1994 — conf
Defining Equations in Terminal Coalgebras.
COMPASS/ADT
Ulrich Hensel, Horst Reichel
1993 — ed.
Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September - 1. Oktober 1993
GI Jahrestagung
Horst Reichel
1991 — ed.
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990
ADT
Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
1990 — conf
A Two-Category Approach to Critical Pair Completion.
ADT
Horst Reichel
1987 — conf
Operational Semantics of Behavioural Canons based on Narrowing.
ADT
Horst Reichel
1987 — conf
Software Specification by Behavioural Canons.
Algebraic Methods
Horst Reichel
1986 — conf
Computable Functional Enrichments of Parameterized Behavioural Data Types.
ADT
Horst Reichel
1985 — conf
Behavioral Program Specification.
CTCS
Horst Reichel
1983 J jnl
On Behavioural Equivalence of Data Types.
J. Inf. Process. Cybern.
Ulrich L. Hupbach, Horst Reichel
1980 B conf
Initially-Restricting Algebraic Theories.
MFCS
Horst Reichel
1977 B conf
Initial Algebraic Semantics for Non Context-Free Languages.
FCT
Heinz Kaphengst, Horst Reichel