Heinz-Peter Gumm, Manfred Sommer: Einführung in die Informatik (7. Aufl.). Oldenbourg , ISBN , pp. I-XXIII, Heinz-Peter Gumm is the author of Einführung in die Informatik ( avg rating, 5 ratings, 0 reviews, Heinz-Peter Gumm’s Followers Manfred Sommer. H. Peter Gumm, Manfred Sommer: Einführung in die Informatik. 9. edition, Oldenbourg Wissenschaftsverlag, (), pages. (1. and 2. edition: Addison .

Author: Vudokasa Tusar
Country: Rwanda
Language: English (Spanish)
Genre: Finance
Published (Last): 14 August 2009
Pages: 42
PDF File Size: 6.80 Mb
ePub File Size: 7.17 Mb
ISBN: 177-9-74446-236-9
Downloads: 51431
Price: Free* [*Free Regsitration Required]
Uploader: Takinos

Peter Gumm, Manfred Sommer: Informatik – Rechnerarchitektur, Betriebssysteme, Rechnernetze, pages. Walter DeGruyter Verlag, Reihe: Informatik – Programmierung, Algorithmen und Datenstrukturen, pages. Geometrical Methods in Congruence Modular Varieties. Memoirs ide the American Mathematical SocietyNumber, 79 pages. Peter Gumm, Werner Poguntke: Thomas IhringerAllgemeine Algebra.

Peter Gumm Guest editor: Theoretical Computer Science, vol. Mehdi ZarradH. Transitivity and Difunctionality of Bisimulations.

Einführung in die Informatik

Peter Gumm, Mehdi Zarrad: Coalgebraic Simulations and Congruences. Presentation of Set Functors: Universal Coalgebras and their logics. AJSE-Mathematics1pp. Theoretical Computer Science, pp. Applied Categorical Structures, 16pp. Dommer Coalgebras and Type Transformations. Discussiones Mathematicae27pp. Types and Coalgebraic Structure. Algebra Universalis53 ,pp.


State based systems are coalgebras.

Distributivity of Classes einfhrun Coalgebras. Theoretical Computer Science, pp. Electronic Notes in Theoretical Computer Science44 Birkhoffs variety theorem for coalgebras. Contributions to General Algebra 13- Coalgebras of bounded type. Mathematical Structures in Computer Science12 Algebra Universalis 46- Coalgebraic structure from weak limit preserving functors.

Electronic Notes in Einfhrnug Computer Science 33 Elements of the general theory of coalgebras. Algebra Universalis45- Equational and Implicational Classes of Coalgebras. Theoretical Computer Science Covarieties and Complete Covarieties. Theoretical Computer Science ,71 Generating algebraic laws from Imperative Programs. Peter Gumm, Martin Perner: Another Glance at the Alpern -Schneider Theorem. Information Processing Letters 47 Peter Gumm, Ferdinand Hergert: A language somker Neural Network Programming.

Continuations of Logic Programs.

Gumm, Heinz-Peter [WorldCat Identities]

Some Characterizations of the Commutator. Algebra Universalis 29 Encoding of numbers to detect typing errors. Data Security through check digits. Statistical Software Newsletter 11 Here is einfnrung article from Computerwoche reporting on this method. A new class of check digit methods for arbitrary number systems.

IEEE Transactions on information theory31Topological implications in n-permutable varieties. Algebra Universalis 19 Geometrical reasoning and analogy in Universal Algebras. Universal Algebra and its links to Computer Science, R.


Peter Gumm, Aldo Ursini: Ideals onformatik Universal Algebras. Congruence modularity is permutability composed with distributivity. The Little Desarguesian Theorem for algebras in modular varieties.

An easy way to the commutator in modular varieties. Peter Gumm, Christian Herrmann: Algebras in modular varieties: Baer refinements, cancellation and isotopy.

Algebras in permutable varieties: Geometrical properties of affine algebras.

dblp: H. Peter Gumm

Algebra Universalis 9 Zeitschrift Is there a Mal’cev theory for finite algebras? Algebra Universalis 8 A cancellation theorem for finite algebras. Bolyai29 Congruence equalities and Mal’cev conditions in regular equational classes. Algebra Universalis 5 Peter Gumm, Dimitry Zhukov: Halting sets of programs over universal algebras manuscript Geometrische Methoden eibfhrung kongruenzmodularen Algebren.

HabilitationsschriftTH-Darmstadt, Algebras in Permutable Varieties.

Mal’cev Conditions in Sums of Varieties. Master Thesis, TH-Darmstadt, Publications Books and Monograph 1. Unpublished Work and Theses