Horst Reichel

发表

Operational Semantics of Behavioural Canons based on Narrowing

Horst Reichel, 1987, ADT.

Initially-Restricting Algebraic Theories

Horst Reichel, H. Reichel, 1980, MFCS.

Algebraic-coalgebraic specification in CoCasl

Markus Roggenbach, Till Mossakowski, Lutz Schröder, 2002, J. Log. Algebraic Methods Program..

Initial Algebraic Semantics for Non Context-Free Languages

Horst Reichel, Heinz Kaphengst, H. Reichel, 1977, FCT.

STACS 2001

J. van Leeuwen, Jan van Leeuwen, Afonso Ferreira, 2001, Lecture Notes in Computer Science.

Fundamentals of computation theory : 10th International Conference, FCT '95, Dresden, Germany, August 22-25, 1995 : proceedings

Horst Reichel, 1995 .

Preface: Volume 33

Horst Reichel, 2000 .

Preface

Jan J. M. M. Rutten, Bart Jacobs, Horst Reichel, 1998, CMCS.

Behavioral Program Specification

Horst Reichel, 1985, CTCS.

Specification Semantics

Horst Reichel, 1999, Algebraic Foundations of Systems Specification.

Software Specification by Behavioural Canons

Horst Reichel, 1987, Algebraic Methods.

An approach to object semantics based on terminal co-algebras

Horst Reichel, H. Reichel, 1995, Mathematical Structures in Computer Science.

Unifying ADT - and Evolving Algebra Specifications

Horst Reichel, H. Reichel, 1996, Bull. EATCS.

Contents and abstracts of the Electronic Notes in Theoretical Computer Science vol. 11: preface volume 11

Bart Jacobs, Lawrence S. Moss, Jan Rutten, 1999 .

Workshop: Grundlagen der Parallelität

Jörg Desel, Horst Reichel, 1997, GI Jahrestagung.

STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings

Afonso Ferreira, Horst Reichel, 2001 .

Algebraic-coalgebraic specification in CoCasl

Markus Roggenbach, Till Mossakowski, Lutz Schröder, 2006, J. Log. Algebraic Methods Program..

Fundamentals of Computation Theory

Horst Reichel, 1981, Lecture Notes in Computer Science.

Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September - 1. Oktober 1993

Horst Reichel, 1993, GI Jahrestagung.

Formal specification and design, Cambridge tracts in theoretical computer science: L.M.G. Feijs and H.B.M Jonkers, (Cambridge University Press, 1992) (hardback), ISBN 0-521-43457-2

Horst Reichel, H. Reichel, 1995 .

STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings

Sophie Tison, Horst Reichel, 2000 .

Computable Functional Enrichments of Parameterized Behavioural Data Types

Horst Reichel, 1986, ADT.

Dialgebraic Logics

Horst Reichel, 1998, CMCS.

Defining Equations in Terminal Coalgebras

Horst Reichel, Ulrich Hensel, H. Reichel, 1994, COMPASS/ADT.

Recent Trends in Data Type Specification

Hartmut Ehrig, Fernando Orejas, Horst Reichel, 1990, Lecture Notes in Computer Science.

Formal Methods for Concurrency (Abstracts) Colloquium Munich, July 1996

Jorg Desel, Horst Reichel, H. Reichel, 1996, FME 1996.

ArticlesDialgebraic Logics: Extended Abstract

Horst Reichel, H. Reichel, 1998 .

On Behavioural Equivalence of Data Types

Horst Reichel, Ulrich L. Hupbach, 1983, J. Inf. Process. Cybern..

Preface: Volume 11

Bart Jacobs, Lawrence S. Moss, Jan Rutten, 1998 .

Software Engineering und KI (Fachbereich 1 Künstliche Intelligenz)

Horst Reichel, 1993 .

Foreword : Coalgebraic Methods in Computer Science 1998

Bart Jacobs, Jan J. M. M. Rutten, Horst Reichel, 2001, Theor. Comput. Sci..

Structural induction on partial algebras

Horst Reichel, 1984 .

A Uniform Model Theory for the Specification of Data and Process Types

Horst Reichel, 1999, WADT.

Ergonomische Gestaltung und menschengerechter Einsatz von CAD-Systemen (FG 2.3.1 Software-Ergonomie, FG 4.2.1 Rechnergestütztes Entwerfen und Konstruieren (CAD), FA 8.2 Informationstechnik in der industriellen Arbeit)

Horst Reichel, 1993 .

Proceedings of the 10th International Symposium on Fundamentals of Computation Theory

Horst Reichel, 1995 .

From Total Equational to Partial First-Order Logic

Till Mossakowski, Maura Cerioli, Horst Reichel, 1999, Algebraic Foundations of Systems Specification.

A Two-Category Approach to Critical Pair Completion

Horst Reichel, 1990, ADT.

Grundlagen der Parallelitat - Workshop der GI-Fachgruppen 0.0.1 und 0.1.7 im Rahmen der INFORMATIK ''97

Jorg Desel, Horst Reichel, J. Desel, 1997 .

Preface

Horst Reichel, 2000, CMCS.

Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science

Sophie Tison, Horst Reichel, 2000 .

Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification

Hartmut Ehrig, Fernando Orejas, Klaus P. Jantke, 1990 .

An Algebraic Approach to Regular Sets

Horst Reichel, 2006, Essays Dedicated to Joseph A. Goguen.

Initial Computability, Algebraic Specifications, and Partial Algebras

Horst Reichel, H. Reichel, 1987 .

Nested Sketches

Horst Reichel, H. Reichel, 1998 .