H. Peter Gumm - Wissenschaftliche Veröffentlichungen

(1 - 14 von 15

)

ScienceDirect.com

www.sciencedirect.com

von HP Gumm · · Zitiert von: 53 — ... Science. Articles. Monoid-labeled transition systems. Author links open overlay panel. H. Peter Gumm , Tobias Schröder. Show more. Add to Mendeley. Share.

jstorhttps://www.jstor.org › stableModular Arithmetic in the Marketplace

www.jstor.org

von JA Gallian · · Zitiert von: 31 — H. Peter Gumm, A new class of check-digit methods for arbitrary number systems, IEEE Transac- tions on Information Theory, 31(1985) H. Peter Gumm ...

Justus-Liebig-Universität Gießen

www.informatik.uni-giessen.de

... H. Peter Gumm (Marburg), Norbert Gutleben (Cottbus), Markus Holzer (Tübingen), Martin Hühne (Dortmund), Klaus P. Jantke (Leipzig), Matthias Jantzen (Hamburg) ...

Archive ouverte HAL

hal.science

von M Zarrad · — ... H. Peter Gumm. Transitivity and Difunctionality of Bisimulations. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr

jstorhttps://www.jstor.org › stableThe Little Desarguesian Theorem for Algebras in Modular Varieties

www.jstor.org

von HP Gumm · · Zitiert von: 9 — H. PETER GUMM. ABsTRAcr. We show that the "Little Desarguesian Theorem" is true in the con- gruence-class geometry of algebras in modular varieties

dblp: H. Peter Gumm

dblp.uni-trier.de

List of computer science publications by H. Peter Gumm

Teilnehmerliste für den 5. Theorietag der GI FG "Automaten...

www.informatik.uni-giessen.de

H. Peter Gumm: Philipps Universität Marburg: FB Mathematik. Norbert Gutleben: Theoretische Informatik: BTU Cottbus: Thema: Minimierung von Muller- ...

H. Peter Gumm: 6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, Electronic Notes in Theoretical Computer Science 82(1), Elsevier 2003

H. Peter Gumm - dblpdblp.org › Persons

dblp.org

List of computer science publications by H. Peter Gumm H. Peter Gumm: 6th International Workshop on Coalgebraic Methods in Computer Science, CMCS

Logic seminar – Logic group – TU Darmstadt

www.mathematik.tu-darmstadt.de

Beginning at 1:30 pm, end around 5 pm. 13:30-13:45, Short introduction by Klaus Keimel 13:45-14:30, H. Peter Gumm (Philipps-Universität Marburg) A weak pullback preservation property of weakly monadic set functors Inspired by recent investigations on congruence modularity, we show that a weakly monadic functor F (the associativity law is not ...

Publications: CSP

www.informatik.uni-bremen.de

Till Mossakowski, Markus Roggenbach, Lutz Schröder (2003). CoCASL at work --- Modelling Process Algebra.In Hans-Peter Gumm (Ed.), Coalgebraic Methods in Computer Science, Vol. 82, Electronic Notes in Theoretical Computer Science.

Publications: CoCASL

www.informatik.uni-bremen.de

In Hans-Peter Gumm (Ed.), Coalgebraic Methods in Computer Science, Vol. 82, Electronic Notes in Theoretical Computer Science. Elsevier Science. Show selected entries in BibTex Format Author: Dr. Till Mossakowski : Group BKB : Last updated: February 1,

Publications of Ross Street - Macquarie Universityscience.mq.edu.au › ~street › Publications

science.mq.edu.au

(with Jawad Abuhlail, Gabriella Boehm, Tomasz Brzezinski, H. Peter Gumm, Salah-Eddine Kabbaj and Robert Wisbauer) "Interactions of Algebraic and Coalgebraic ...