1
0
0
(1 - 30 von 87
)
IFIP Digital Library
dl.ifip.org
H. Peter Gumm , Mehdi Zarrad. 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp
American Mathematical Society
bookstore.ams.org
H. Peter Gumm. Geometrical Methods in Congruence Modular Algebras. eBook. eBook ISBN:
Bayerische Staatsbibliothek
opacplus.bsb-muenchen.de
H. Peter Gumm. American Mathematical Society · Geometrical methods in congruence modular algebras. H. Peter Gumm · Einführung in die Informatik. von Heinz Peter ...
CUBO, A Mathematical Journal
cubo.ufro.cl
von HP Gumm · · Zitiert von: 12 — H. Peter Gumm Philipps - Universität Marburg, Marburg, Germany H. Peter Gumm, “State based systems are coalgebras”, CUBO, vol
Chapman University
www1.chapman.edu
H. Peter Gumm (University of Marburg, Germany). Introduction to Universal Co-Algebra and Theoretical Computer Science. Part 2: Advanced courses, Tutorials and ...
DM-GAA
www.dmgaa.uz.zgora.pl
H. Peter Gumm. Philipps-University Marburg. Faculty of Mathematics and Computer Science. Mehrzweckgeb. Marburg, Germany. Abstract. We ...
EarthLine Publishers
earthlinepublishers.com
von BRA Mbarga · · Zitiert von: 6 — H. Peter Gumm, The little Desarguesian theorem for algebras in modular varieties, Proc. Amer. Math. Soc. 80(3) (1980), D. Rodelo and ...
EuDMLhttps://eudml.org › docOn coalgebras and type transformations
eudml.org
von HP Gumm · · Zitiert von: 3 — ... H. Peter Gumm · Discussiones Mathematicae - General Algebra and Applications (2007). Volume: 27, Issue: 2, page ; ISSN: Access Full Article.
FvS-Lernen
www.fvs-lernen.de
©H. Peter Gumm, Philipps-Universität Marburg. Praktische Informatik I. Algorithmen. ▫. Algorithmen sind Handlungsanweisungen. □ beispielsweise um ein Essen zu ...
Marc.info
marc.info
... H. Peter Gumm" Date: :15:23 Message-ID: 4B2F58CB () mathematik ! uni-marburg ! de [Download RAW ...
NASA/ADS
ui.adsabs.harvard.edu
... Modular Algebras, by H. Peter Gumm 3. Congruence Modular Varieties: Commutator Theory and Its Uses, by Ralph McKenzie and John Snow.
OA.mghttps://oa.mg › workProducts of coalgebras
oa.mg
Read and download Products of coalgebras by H. Peter Gumm, Tobias Schröder on OA.mg.
Penn State University Libraries Catalog
catalog.libraries.psu.edu
Geometrical methods in congruence modular algebras [electronic resource] / H. Peter Gumm. Author: Gumm, H. Peter (Heinz Peter), ; Published: Providence ...
Semantic Scholar
www.semanticscholar.org
... H. Peter Gumm and Tobias Schr{\"o}der}, booktitle={International Workshop on Coalgebraic Methods in Computer Science}, year={2000}, url={https://api ...
Tartu Ülikool
kodu.ut.ee
H. Peter Gumm (Marburg). REASONING ABOUT STATE BASED SYSTEMS USING COINDUCTION AND CORECURSION. State based systems abound in Computer Science. Automata ...
University of Colorado Boulder
math.colorado.edu
Panglobal Algebra and Logic Seminar. schedule · about · H. Peter Gumm (Philipps University Marburg, Germany), Lucid reasons behind balanced identities. Tue,
University of Houston
www.math.uh.edu
H. Peter Gumm, Christian Herrmann Algebras in Modular Varieties: Baer Refinements, Cancellation and Isotopy, pp Peter Kohler Quasi-Decompositions ...
University of Ottawa
www.site.uottawa.ca
Next: Algorithm = Data Structure. Generating Algebraic Laws from Imperative Programs. H. Peter Gumm. Abstract: The use of verifiers for proving the ...
University of Southampton
web-archive.southampton.ac.uk
H. Peter Gumm (co-chair), Philipps University Marburg, D; Rolf Hennicker, Ludwig-Maximilians-University Munich, D; Bart Jacobs, Radboud University Nijmegen ...
Université Grenoble Alpes
beluga.univ-grenoble-alpes.fr
Geometrical methods in congruence modular algebras / H. Peter Gumm Disponible à Bibliothèque Jean-Pierre Demailly, Institut Fourier Salle Recherche, ...
cs.ioc.ee
cs.ioc.ee
H. Peter Gumm. FB Mathematik, FG Informatik Philipps Universitaet Marburg. Universal Coalgebra: A theory of state based systems. Abstract. Universal coalgebra ...
etaps 2024
etaps.org
Session chair: H. Peter Gumm (Marburg University, Germany) ; 14:00, Observation systems. Luís Monteiro (University of Lisbon, Portugal) ; 14:30, Coalgebras for ...
MathOverflow
mathoverflow.net
— ... H. Peter Gumm & Tobias Schroder, Products of coalgebras, Algebra Universalis 46 (2001) 163 – 185." where the autors generalized known for ...
Peter Gumm - Mission Advancement Director - Shoreland ...www.linkedin.com › ...
www.linkedin.com
H. Peter Gumm. Professor at Philipps-Universität Marburg. Kassel Area, Germany. 6 others named Peter Gumm are on LinkedIn. See others named Peter Gumm ...
Books by H. Peter Gumm on Google Playplay.google.com › store › info › name › H_Peter_Gumm
play.google.com
H. Peter Gumm. Ebooks. Icon image Geometrical Methods in Congruence Modular Algebras. Geometrical Methods in Congruence Modular Algebras. Book $
=>> Einführung in die Informatik by Manfred Sommer Heinz-Peter Gumm...
sites.google.com
Einführung in die Informatik by Manfred Sommer Heinz-Peter Gumm PDF Download. =>> Einführung in die Informatik by Manfred Sommer Heinz-Peter Gumm PDF ...
Peter Gumm - Google Scholarscholar.google.nl › citations
scholar.google.nl
Algebras in permutable varieties: geometrical properties of affine algebras. H Peter Gumm. Algebra universalis 9, 8-34A new class of ...
19-Minute Bible Studies. On 52 Very Important Chapters of
www.bing.com
Web2 de mai. de · Minute Bible Studies On 52 Very Important s of the Bible by Tim H. Gumm Genesis 19 Sodom and Gomorrah Genesis 37 Joseph s Coat of Many Colors …
2 H. PETER GUMM 4. Derived strctres Sms Colimits Sbstrctres...
sciencedocbox.com
ELEMENTS OF THE GENERL THEORY OF COLGERS PRELMNRY VERSON H. PETER GUMM bstract. Data Strctres arising in programming are conveniently ...
Alle Infos zum Namen "H. Peter Gumm"
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