1
0
0
(1 - 23 von 23
)
arXivhttps://arxiv.org › math[ ] Connected monads weakly preserve products
arxiv.org
von HP Gumm · · Zitiert von: 2 — Authors:H. Peter Gumm. Download a PDF of the paper titled Connected monads weakly preserve products, by H. Peter Gumm. Download PDF. Abstract ...
ACM Digital Library
dl.acm.org
— Copower functors. Author: H. Peter Gumm. Philipps-Universität Marburg, Hans Meerwein Strasse, Marburg, Germany. Philipps-Universität ...
arXivhttps://arxiv.org › math[ ] Free-algebra functors from a coalgebraic perspective
arxiv.org
von HP Gumm · · Zitiert von: 2 — Authors:H. Peter Gumm. Download a PDF of the paper titled Free-algebra functors from a coalgebraic perspective, by H. Peter Gumm. Download PDF.
Biblioteka Nauki
bibliotekanauki.pl
von H Gumm · · Zitiert von: 3 — H. Peter Gumm. Philipps-University Marburg. Faculty of Mathematics and Computer Science. Mehrzweckgeb. Marburg, Germany. Abstract. We ...
CUBO, A Mathematical Journal
cubo.ufro.cl
JUNIO State based systems are coalgebras. H. Peter Gumm. Philipps-UniversiLiü Mnrburg Marburg, Gerinany gumm ma.t.hemat.ik.uni-marburg.de. ABSTRACT.
Carnegie Mellon University
www.cmu.edu
von S Awodey · — Universal Algebra. D. Van Nostrand Company, Inc., H. Peter Gumm and Tobias Schröder. Covarieties and complete covarieties. In Jacobs.
McMaster University
ms.mcmaster.ca
von A Kazda · · Zitiert von: 12 — [11] H. Peter Gumm. Geometrical methods in congruence modular algebras. Mem. Amer. Math. Soc., 45(286):viii+79, [12] Joachim Hagemann ...
Scribd
www.scribd.com
Universal Coalgebra. H. Peter Gumm February 21, Philipps-Universitat Marburg Fachbereich Mathematik und Informtik Marburg
Studocu
www.studocu.com
H. Peter Gumm Dipl.-Inf. Mehdi Zarrad Abschlussklausur Beginn 13:00 Ende 15:00 Nachname: Vorname: Matrikelnr.: Studiengang: Bachelor alte Ordnung (2004) ,0(2)
drops.dagstuhl.de
drops.dagstuhl.de
von T Wißmann · · Zitiert von: 2 — H. Peter Gumm and Tobias Schröder. Types and coalgebraic structure. algebra universalis, 53(2): , URL: https://doi.org
[ ] Commutator Theory and Abelian Algebras
arxiv.org
Geometrical Methods in Congruence Modular Algebras, by H. Peter Gumm 3. Congruence Modular Varieties: Commutator Theory and Its Uses, ...
(PDF) Praktische Informatik I - mathematik.uni-marburg.degumm ...dokumen.tips › Documents
dokumen.tips
Berechenbarkeit Beweisbarkeit Geschichte © H Peter Gumm Philipps-Universität Marburg Inhalt 1 Wahrheit ausrechnen – der Traum 1 Aristoteles 2 Lullus
Praktische Informatik I - Nanopdf
nanopdf.com
H. Peter Gumm, Philipps-Universität Marburg. Inhalt. 1. Getypter Lambda-Kalkül. ▫ λ-Kalkül als Universalsprache. ▫. Notwendigkeit von Typen. › download › typen-fachbere...
Logik Klausur Logik Wintersemester Prof. Dr. H. Peter ...www.studocu.com › Philipps-Universität Marburg › Logik
www.studocu.com
Bewertung 5,0 (2) H. Peter Gumm Nils Morawietz. Abschlussklausur. Beginn 13:00 Ende 15: Nachname: Vorname: Matrikelnr.: Studiengang: Hinweise: Tragen Sie Ihren Namen und Ihre ... Bewertung 5,0 (2) H. Peter Gumm Nils Morawietz. Abschlussklausur. Beginn 13:00 Ende 15: Nachname: Vorname: Matrikelnr.: Studiengang: Hinweise: Tragen Sie Ihren Namen und Ihre ...
[PDF] Archivum Mathematicum - DML-CZdml.cz › bitstream › handle › dmlcz › ArchMath_ _3
dml.cz
H. Peter Gumm [4] and F. Ostermann - J. Schmidt [6,7]. It is shown that a Mal'eev function commuting with itself is closely related with the geometrical ...
[PDF] Covarieties and Complete Covarieties - CyberLeninkacyberleninka.org › article
cyberleninka.org
H. Peter Gumm. Fachbereich Mathematik und Informatik. Universit at Marburg. Marburg, Germany -marburg.de. Tobias Schr oder. Fachbereich ...
special issue on selected papers from the Fifth Workshop on ...www.cambridge.org › services › aop-cambridge-core › content › view › in...
www.cambridge.org
H. Peter Gumm (Marburg). Alexander Kurz (Amsterdam). Bart Jacobs (Nijmegen). Marina Lenisa (Udine). Ugo Montanari (Pisa). Ataru T. Nakagawa (Tokyo). John Power ...
Saturated Kripke Structures as Vietoris Coalgebrasdl.acm.org › doi › abs
dl.acm.org
· Authors: · H. Peter Gumm. FB Mathematik und Informatik, Philipps-Universität, Marburg, Germany · Mona Taheri. FB Mathematik und Informatik, ...
[PDF] Free-Algebra Functors from a Coalgebraic Perspective - Hal-Inriainria.hal.science › hal › document
inria.hal.science
· H. Peter Gumm. To cite this version: H. Peter Gumm. Free-Algebra Functors from a Coalgebraic Perspective. 15th International Work- shop on ...
[PDF] Program, Seminar Coalgebraic Logic, Dagstuhl, Dec. 7www.dagstuhl.de › schedule
www.dagstuhl.de
· 09:30 H. Peter Gumm. Coalgebraic types. 09:30 E.-E. Doberkat. Negating Congruences for Stochastic. Relations. 09:30 Dirk Pattinson. Optimal ...
[PDF] Conference on Lattices and Universal Algebrawww.math.u-szeged.hu › ~czedli › publ.pdf › czedli-zadori_conferen...
www.math.u-szeged.hu
Gumm, H. Peter -marburg.de. Halaš, Radomir .cz. Haviar, Miroslav .sk. Herrmann, Christian herrmann@mathematik ...
Verwandte Suchanfragen zu H. Peter Gumm
Tobias Schröder Heinz Peter Gumm Manfred Sommer | Heinz Peter Mehdi Zarrad Alexander Kurz | Luís Monteiro John Power |
Personen Vorname "Peter" (123603) Name "Gumm" (131) |
sortiert nach Relevanz / Datum