We stand with Ukraine

We stand with Ukraine

Horst Reichel

According to our database¹, Horst Reichel authored at least 23 papers between 1977 and 2008.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2008

Forschung zu Abstrakten Datentypen im ZFT des Kombinates ROBOTRON.

[BibT_eX]

[DOI]

Proceedings of the Informatik in der DDR, 2008

2006

Algebraic-coalgebraic specification in CoCasl.

[BibT_eX]

[DOI]

Till Mossakowski

,

,

Markus Roggenbach

,

J. Log. Algebraic Methods Program., 2006

An Algebraic Approach to Regular Sets.

[BibT_eX]

[DOI]

Proceedings of the Algebra, Meaning, and Computation, 2006

2002

Algebraic-Coalgebraic Specification in Co Casl.

[BibT_eX]

[DOI]

Till Mossakowski

,

,

Markus Roggenbach

,

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

Foreword : Coalgebraic Methods in Computer Science 1998.

[BibT_eX]

[DOI]

,

,

,

Jan J. M. M. Rutten

Theor. Comput. Sci., 2001

2000

Preface.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999

Specification Semantics.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Foundations of Systems Specification, 1999

From Total Equational to Partial First-Order Logic.

[BibT_eX]

[DOI]

,

Till Mossakowski

,

Proceedings of the Algebraic Foundations of Systems Specification, 1999

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

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1998

Dialgebraic Logics.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

Preface.

[BibT_eX]

[DOI]

,

,

,

Jan J. M. M. Rutten

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

1997

Workshop: Grundlagen der Parallelität.

[BibT_eX]

[DOI]

,

Proceedings of the Informatik '97, 1997

1996

Unifying ADT - and Evolving Algebra Specifications.

[BibT_eX]

Bull. EATCS, 1996

1995

An Approach to Object Semantics based on Terminal Co-Algebras.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1995

1994

Defining Equations in Terminal Coalgebras.

[BibT_eX]

[DOI]

,

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1990

A Two-Category Approach to Critical Pair Completion.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

1987

Software Specification by Behavioural Canons.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methods: Theory, 1987

Operational Semantics of Behavioural Canons based on Narrowing.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

Computable Functional Enrichments of Parameterized Behavioural Data Types.

[BibT_eX]

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

Behavioral Program Specification.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1983

On Behavioural Equivalence of Data Types.

[BibT_eX]

Ulrich L. Hupbach

,

J. Inf. Process. Cybern., 1983

1980

Initially-Restricting Algebraic Theories.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1977

Initial Algebraic Semantics for Non Context-Free Languages.

[BibT_eX]

[DOI]

Heinz Kaphengst

,

Proceedings of the Fundamentals of Computation Theory, 1977

Loading...