Horst Reichel

Available identifiers

zbMath Open reichel.horstMaRDI QIDQ585249

List of research outcomes

Publication	Date of Publication	Type
Recent Trends in Algebraic Development Techniques	2010-04-20	Paper
An Algebraic Approach to Regular Sets	2007-09-07	Paper
Algebraic-coalgebraic specification in CoCASL	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2722035	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4702593	1999-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4702595	1999-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4222960	1999-01-06	Paper
An approach to object semantics based on terminal co-algebras	1997-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4896923	1996-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3817581	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773301	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3725523	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3757373	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4725725	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3337524	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3346382	1984-01-01	Paper
Equational partiality	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3659114	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3661642	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3037523	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3938468	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3954793	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3923580	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880993	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178511	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5682937	1972-01-01	Paper
Kanonische Zerlegung von Funktoren	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5577124	1967-01-01	Paper
Zur algebraischen Begründung der Graphentheorie. III	1966-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Horst Reichel