Horst Reichel

Available identifiers

zbMath Open reichel.horstMaRDI QIDQ585249

List of research outcomes

Publication	Date of Publication	Type
Algebraic-coalgebraic specification in CoCasl.	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/Q3346382	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3337524	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

This page was built for person: Horst Reichel