Artikel und Publikationen
Eine Auswahl wissenschaftlicher Veröffentlichungen. Vollständigere Angaben finden sich auch bei Google Scholar.
Universelle Algebra
- H. Peter Gumm und Ralph Freese: Free-lattice functors weakly preserve epi-pullbacks. Algebra Universalis 83, 20 (2022).
- H. Peter Gumm: Connected monads weakly preserve products. Algebra Universalis 81, 18 (2020).
- H. Peter Gumm und Alan Day: Some characterizations of the commutator. Algebra Universalis 29, 61–78 (1992).
- H. Peter Gumm: Algebras in permutable varieties: Geometrical properties of affine algebras. Algebra Universalis 9, 8–34 (1979).
Coalgebra
- H. Peter Gumm: On minimal coalgebras. Applied Categorical Structures 16(3), 313–332 (2008).
- H. Peter Gumm und Tobias Schröder: Types and Coalgebraic structure. Algebra Universalis 53, 229–252 (2005).
- H. Peter Gumm: Equational and implicational classes of coalgebras. Theoretical Computer Science 260, 57–69 (2001).
- H. Peter Gumm und Tobias Schröder: Covarieties and complete covarieties. Theoretical Computer Science 260, 71–86 (2001).
Formale Methoden und weitere Themen
- H. Peter Gumm: Continuations of logic programs. In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425, 1990.
- H. Peter Gumm: Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV. In: INFOS99, Springer, 1999.
- H. Peter Gumm: A new class of check-digit methods for arbitrary number systems. IEEE Transactions on Information Theory 31(1), 102–105 (1985).