Reichel, Horst.
Reichel, Horst, 1941-
Horst Reichel
VIAF ID: 69182450 ( Personal )
Permalink: http://viaf.org/viaf/69182450
Preferred Forms
- 100 0 _ ‡a Horst Reichel
-
- 200 _ | ‡a Reichel ‡b Horst ‡f 1941-....
-
-
-
-
- 100 1 _ ‡a Reichel, Horst
-
- 100 1 _ ‡a Reichel, Horst
- 100 1 _ ‡a Reichel, Horst
- 100 1 _ ‡a Reichel, Horst ‡d 1941-
- 100 1 _ ‡a Reichel, Horst ‡d 1941-...
-
-
4xx's: Alternate Name Forms (6)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Algebraic observational equivalence and open-map bisimilarity | |
Algebraiczna równoważność obserwacyjna, a równoważność bisymulacyjna określona za pomocą otwartych morfizmów | |
Coalgebraic methods in computer science : proceedings of the First Workshop on ..., CMCS'98, Lisbon, Portugal, March 28-29, 1998 | |
FCT'95 | |
Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 22-25, 1995 : proceedings | |
Informatik, Wirtschaft, Gesellschaft : 23. GI-Jahrestagung, Dresden, 27. September-1. Oktober 1993 | |
Initial computability, algebraic specifications, and partial algebras | |
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings | |
Spætfolgen extremer Lebensverhæltnisse : Pryfung der Hypophysenfunktion durch Bestimmung der Corticosteroidausscheidung im Metopirontest | |
STACS 2001 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings | |
Structural induction on partial algebras | |
Über die Thermo- und Aktinoresistenz der Bakterien mit besonderer Berücksichtigung der Sterilisation in der Chirurgie und in der Nahrungsmittelgebarung . Über die Biologie des Wiener Hochquellenwassers |