×

zbMATH — the first resource for mathematics

Reichel, Horst

Compute Distance To:
Author ID: reichel.horst Recent zbMATH articles by "Reichel, Horst"
Published as: Reichel, H.; Reichel, Horst
Documents Indexed: 40 Publications since 1930, including 8 Books

Publications by Year

Citations contained in zbMATH

17 Publications have been cited 149 times in 117 Documents Cited by Year
An approach to object semantics based on terminal co-algebras. Zbl 0854.18006
Reichel, Horst
43
1995
Initial computability, algebraic specifications, and partial algebras. Zbl 0634.68001
Reichel, Horst
25
1987
Behavioural equivalence - a unifying concept for initial and final specification methods. Zbl 0479.68017
Reichel, H.
23
1981
Initially-restricting algebraic theories. Zbl 0469.68026
Reichel, H.
11
1980
Behavioural validity of conditional equations in abstract data types. Zbl 0616.68020
Reichel, H.
9
1985
Structural induction on partial algebras. Introduction to theory and application of partial algebras. Part II. Zbl 0553.08002
Reichel, Horst
6
1984
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
5
2003
From total equational to partial first-order logic. Zbl 0949.03028
Cerioli, Maura; Mossakowski, Till; Reichel, Horst
4
1999
Initial algebraic semantics for non context-free languages. Zbl 0395.68070
Kaphengst, Heinz; Reichel, Horst
4
1977
Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067
Jacobs, Bart (ed.); Moss, Larry (ed.); Reichel, Horst (ed.); Rutten, Jan (ed.)
3
1998
Initial restrictions of behaviour. Zbl 0594.68013
Reichel, Horst
3
1986
Equational partiality. Zbl 0524.08005
Benecke, Klaus; Reichel, Horst
3
1983
Partial algebras - a sound basis for structural induction. Zbl 0546.08004
Reichel, H.
2
1984
A uniform model theory for the specification of data and process types. Zbl 0965.18004
Reichel, Horst
1
2000
Specification semantics. Zbl 0945.68131
Reichel, Horst
1
1999
Kanonische Zerlegung von Funktoren. Zbl 0185.04101
Reichel, Horst
1
1969
Algebraic-coalgebraic specification in CoCASL. Zbl 1088.68115
Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst
5
2006
Algebraic-coalgebraic specification in CoCasl. Zbl 1278.68209
Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz
5
2003
A uniform model theory for the specification of data and process types. Zbl 0965.18004
Reichel, Horst
1
2000
From total equational to partial first-order logic. Zbl 0949.03028
Cerioli, Maura; Mossakowski, Till; Reichel, Horst
4
1999
Specification semantics. Zbl 0945.68131
Reichel, Horst
1
1999
Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067
Jacobs, Bart (ed.); Moss, Larry (ed.); Reichel, Horst (ed.); Rutten, Jan (ed.)
3
1998
An approach to object semantics based on terminal co-algebras. Zbl 0854.18006
Reichel, Horst
43
1995
Initial computability, algebraic specifications, and partial algebras. Zbl 0634.68001
Reichel, Horst
25
1987
Initial restrictions of behaviour. Zbl 0594.68013
Reichel, Horst
3
1986
Behavioural validity of conditional equations in abstract data types. Zbl 0616.68020
Reichel, H.
9
1985
Structural induction on partial algebras. Introduction to theory and application of partial algebras. Part II. Zbl 0553.08002
Reichel, Horst
6
1984
Partial algebras - a sound basis for structural induction. Zbl 0546.08004
Reichel, H.
2
1984
Equational partiality. Zbl 0524.08005
Benecke, Klaus; Reichel, Horst
3
1983
Behavioural equivalence - a unifying concept for initial and final specification methods. Zbl 0479.68017
Reichel, H.
23
1981
Initially-restricting algebraic theories. Zbl 0469.68026
Reichel, H.
11
1980
Initial algebraic semantics for non context-free languages. Zbl 0395.68070
Kaphengst, Heinz; Reichel, Horst
4
1977
Kanonische Zerlegung von Funktoren. Zbl 0185.04101
Reichel, Horst
1
1969
all top 5

Cited by 134 Authors

9 Sannella, Donald T.
9 Tarlecki, Andrzej
6 Bidoit, Michel
6 Hennicker, Rolf
6 Schröder, Lutz
5 Goldblatt, Robert Ian
4 Diaconescu, Răzvan
4 Ehrig, Hartmut
4 Goguen, Joseph Amadee
4 Kurz, Alexander
4 Mossakowski, Till
4 Roşu, Grigore
3 Jacobs, Bart
3 Lucanu, Dorel
3 Martins, Manuel António
3 Meseguer Guaita, José
3 Poll, Erik
3 Wolter, Uwe E.
2 Astesiano, Egidio
2 Cîrstea, Corina
2 Gaĭnă, Daniel
2 Große-Rhode, Martin
2 König, Harald
2 Kreowski, Hans-Jörg
2 Malcolm, Grant
2 Padawitz, Peter
2 Parisi-Presicce, Francesco
2 Pattinson, Dirk
2 Reichel, Horst
2 Roggenbach, Markus
2 Rothe, Jan
2 Rutten, Jan J. M. M.
2 Scollo, Giuseppe
2 Tews, Hendrik
2 Wirsing, Martin
1 Adámek, Jiří
1 Amato, Gianluca
1 Apetrei, Adriana
1 Artamonov, Vyacheslav Aleksandrovich
1 Babenyshev, Sergey
1 Barbosa, Luís Soares
1 Benecke, Klaus
1 Bentley, H. Lamar
1 Bergstra, Jan A.
1 Bernot, Gilles
1 Blum, Edward Kenneth
1 Brinksma, Ed
1 Bruce, Kim B.
1 Burmeister, Peter
1 Burstall, Rod M.
1 Cabrera, Inma P.
1 Caleiro, Carlos
1 Cardelli, Luca
1 Cerioli, Maura
1 Codescu, Mihai
1 Colvin, Robert J.
1 Cordero, Pablo
1 Corradini, Andrea
1 de Vink, Erik P.
1 Denecke, Klaus Dieter
1 Donnadieu, Marie-Renee
1 Durán, Francisco
1 Dzierzon, Christian
1 Ferreirim, Isabel M. A.
1 Friggens, David
1 Gheorghies, Ovidiu
1 Gonçalves, Ricardo
1 Gumm, Heinz-Peter
1 Gutiérrez, Gloria
1 Hausmann, Daniel
1 Heckel, Reiko
1 Hermida, Claudio
1 Herrlich, Horst
1 Hoehnke, Hans-Jürgen
1 Hofmann, Martin
1 Hughes, Jesse
1 Jacobs, Byron A.
1 Johnstone, Peter T.
1 Kahrs, Stefan Michael
1 Kemp, Tom
1 Kirchner, Hélène
1 Knapik, Teodor
1 Krieg-Brückner, Bernd
1 Lasota, Sławomir
1 Lipton, James B.
1 Maeder, Christian
1 Manca, Vincenzo
1 Martínez del Castillo, Javier
1 Mašulović, Dragan
1 McGrail, Robert W.
1 Middelburg, Cornelis A.
1 Milius, Stefan
1 Mosses, Peter D.
1 Murthy, N. K. Adi
1 Navarro, Marisa
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Nipkow, Tobias
1 Ojeda-Aciego, Manuel
1 Oliveira, José Nuno
1 Orejas, Fernando
...and 34 more Authors

Citations by Year