Horst Reichel - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2008

Forschung zu Abstrakten Datentypen im ZFT des Kombinates ROBOTRONHorst Reichel. ddr 2008: 41-47 [doi]

2006

Algebraic-coalgebraic specification in CoCaslTill Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel. jlp, 67(1-2):146-197, 2006. [doi]

An Algebraic Approach to Regular SetsHorst Reichel. BIRTHDAY 2006: 449-458 [doi]

2002

Algebraic-Coalgebraic Specification in Co CaslTill Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder. WADT 2003: 376-392 [doi]

2001

Foreword : Coalgebraic Methods in Computer Science 1998Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten. TCS, 260(1-2):1, 2001. [doi]

2000

PrefaceHorst Reichel. ENTCS, 33:1-2, 2000. [doi]

1999

From Total Equational to Partial First-Order LogicMaura Cerioli, Till Mossakowski, Horst Reichel. In Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner, editors, Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, pages 31-104, Springer, 1999. [doi]

A Uniform Model Theory for the Specification of Data and Process TypesHorst Reichel. WADT 2000: 348-365

Specification SemanticsHorst Reichel. In Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner, editors, Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, pages 131-158, Springer, 1999. [doi]

1998

PrefaceBart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten. ENTCS, 11:259, 1998. [doi]

Dialgebraic LogicsHorst Reichel. ENTCS, 11:243-251, 1998. [doi]

1997

Workshop: Grundlagen der ParallelitätJörg Desel, Horst Reichel. gi 1997: 626

1996

Unifying ADT - and Evolving Algebra SpecificationsHorst Reichel. eatcs, 59, 1996.

1995

An Approach to Object Semantics based on Terminal Co-AlgebrasHorst Reichel. mscs, 5(2):129-152, 1995.

1994

Defining Equations in Terminal CoalgebrasUlrich Hensel, Horst Reichel. compass 1995: 307-318

1990

A Two-Category Approach to Critical Pair CompletionHorst Reichel. adt 1991: 266-273

1987

Software Specification by Behavioural CanonsHorst Reichel. am 1989: 117-138

Operational Semantics of Behavioural Canons based on NarrowingHorst Reichel. adt 1987: 235-248

1986

Computable Functional Enrichments of Parameterized Behavioural Data TypesHorst Reichel. adt 1986:

1985

Behavioral Program SpecificationHorst Reichel. ctcs 1986: 390-411

1983

On Behavioural Equivalence of Data TypesUlrich L. Hupbach, Horst Reichel. eik, 19(6):297-305, 1983.

1980

Initially-Restricting Algebraic TheoriesHorst Reichel. mfcs 1980: 504-514

1977

Initial Algebraic Semantics for Non Context-Free LanguagesH. Kaphengst, Horst Reichel. fct 1977: 120-126

Sign in or sign up to see more results.

runs on WebDSL