H. Peter Gumm

Available identifiers

zbMath Open gumm.heinz-peterMaRDI QIDQ599072

List of research outcomes

Publication	Date of Publication	Type
Saturated Kripke structures as Vietoris coalgebras	2022-12-07	Paper
Free-lattice functors weakly preserve epi-pullbacks	2022-05-10	Paper
Saturated Kripke Structures as Vietoris Coalgebras	2022-02-15	Paper
Free-lattice functors weakly preserve epi-pullbacks	2021-03-17	Paper
Free-algebra functors from a coalgebraic perspective	2021-02-22	Paper
Connected monads weakly preserve products	2020-04-06	Paper
Free-algebra functors from a coalgebraic perspective	2020-01-23	Paper
Transitivity and Difunctionality of Bisimulations	2016-07-15	Paper
Programmierung, Algorithmen und Datenstrukturen	2016-07-05	Paper
Coalgebraic Simulations and Congruences	2015-09-11	Paper
Monoid-labeled transition systems	2013-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4904377	2013-01-29	Paper
Presentation of Set Functors: A Coalgebraic Perspective	2010-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3653200	2009-12-21	Paper
Einführung in die Informatik	2009-04-09	Paper
Copower functors	2009-03-25	Paper
On minimal coalgebras	2008-07-30	Paper
On coalgebras and type transformations	2008-02-11	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Types and coalgebraic structure	2006-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3023880	2005-07-06	Paper
Products of coalgebras.	2005-04-19	Paper
Distributivity of categories of coalgebras	2004-10-27	Paper
Coalgebras of bounded type	2003-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q2759839	2002-06-18	Paper
Functors for coalgebras	2001-12-16	Paper
Equational and implicational classes of coalgebras	2001-08-20	Paper
Covarieties and complete covarieties	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4499310	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4499387	2000-08-30	Paper
Generating algebraic laws from imperative programs	1999-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4222949	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4273475	1994-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4299716	1994-07-11	Paper
Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions	1993-12-20	Paper
Some characterizations of the commutator	1992-06-28	Paper
A new class of check-digit methods for arbitrary number systems (Corresp.)	1985-01-01	Paper
Ideals in universal algebras	1984-01-01	Paper
Topological implications in n-permutable varieties	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3331266	1984-01-01	Paper
Geometrical methods in congruence modular algebras	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3941465	1982-01-01	Paper
Congruence modularity is permutability composed with distributivity	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3933033	1981-01-01	Paper
An easy way to the commutator in modular varieties	1980-01-01	Paper
The Little Desarguesian Theorem for Algebras in Modular Varieties	1980-01-01	Paper
Algebras in permutable varieties: Geometrical properties of affine algebras	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907624	1979-01-01	Paper
Über die Lösungsmengen von Gleichungssystemen über allgemeinen Algebren	1978-01-01	Paper
Is there a Mal'cev theory for single algebras?	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4152595	1977-01-01	Paper
Mal'cev conditions in sums of varieties and a new Mal'cev condition	1975-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: H. Peter Gumm