The following pages link to H. Peter Gumm (Q599072):
Displaying 50 items.
- (Q197926) (redirect page) (← links)
- Algebras in permutable varieties: Geometrical properties of affine algebras (Q599073) (← links)
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions (Q688439) (← links)
- Ideals in universal algebras (Q798686) (← links)
- On minimal coalgebras (Q934670) (← links)
- Copower functors (Q1006640) (← links)
- Topological implications in n-permutable varieties (Q1078592) (← links)
- An easy way to the commutator in modular varieties (Q1141677) (← links)
- Congruence modularity is permutability composed with distributivity (Q1154493) (← links)
- Some characterizations of the commutator (Q1185233) (← links)
- Mal'cev conditions in sums of varieties and a new Mal'cev condition (Q1217726) (← links)
- Über die Lösungsmengen von Gleichungssystemen über allgemeinen Algebren (Q1243743) (← links)
- Is there a Mal'cev theory for single algebras? (Q1247992) (← links)
- Generating algebraic laws from imperative programs (Q1285784) (← links)
- Products of coalgebras. (Q1771866) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- Free-lattice functors weakly preserve epi-pullbacks (Q2136297) (← links)
- Free-algebra functors from a coalgebraic perspective (Q2229228) (← links)
- Connected monads weakly preserve products (Q2310433) (← links)
- Types and coalgebraic structure (Q2577729) (← links)
- (Q2759839) (← links)
- Coalgebraic Simulations and Congruences (Q2942779) (← links)
- (Q3023880) (← links)
- Presentation of Set Functors: A Coalgebraic Perspective (Q3056295) (← links)
- A new class of check-digit methods for arbitrary number systems (Corresp.) (Q3221880) (← links)
- (Q3331266) (← links)
- Geometrical methods in congruence modular algebras (Q3338309) (← links)
- (Q3653200) (← links)
- The Little Desarguesian Theorem for Algebras in Modular Varieties (Q3890750) (← links)
- (Q3907624) (← links)
- (Q3933033) (← links)
- (Q3941465) (← links)
- (Q4152595) (← links)
- (Q4222949) (← links)
- (Q4273475) (← links)
- (Q4299716) (← links)
- (Q4499310) (← links)
- (Q4499387) (← links)
- Coalgebras of bounded type (Q4792971) (← links)
- (Q4904377) (← links)
- Monoid-labeled transition systems (Q4917038) (← links)
- On coalgebras and type transformations (Q5439632) (← links)
- Algebra and Coalgebra in Computer Science (Q5492822) (← links)
- Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
- Programmierung, Algorithmen und Datenstrukturen (Q5739868) (← links)
- Einführung in die Informatik (Q5901526) (← links)
- Equational and implicational classes of coalgebras (Q5941159) (← links)
- Covarieties and complete covarieties (Q5941160) (← links)
- Functors for coalgebras (Q5950751) (← links)
