Gumm, H. Peter - Fachbereich Mathematik und Informatik, Philipps-Universit�t Marburg

Advanced Search

Gumm, H. Peter - Fachbereich Mathematik und Informatik, Philipps-Universit�t Marburg

COALGEBRAS OF BOUNDED TYPE H. PETER GUMM AND TOBIAS SCHR
UNIVERSAL COALGEBRAS AND THEIR LOGICS H. PETER GUMM
STATE BASED SYSTEMS ARE COALGEBRAS H. PETER GUMM
EQUATIONAL AND IMPLICATIONAL CLASSES OF COALGEBRAS.
Another Glance at the AlpernSchneider Characterization of Safety and Liveness in
FROM T-COALGEBRAS TO FILTER STRUCTURES AND TRANSITION SYSTEMS
Halting sets of programs over an algebra H. Peter Gumm
BIRKHOFFS VARIETY THEOREM FOR COALGEBRAS H. PETER GUMM
Some Characterizations of the A. Day H.P. Gumm \Lambda
Vorwort zur neunten Auflage V 1 Einfhrung 1
Vaughan Pratt (Invited Speaker) Comonoids in chu: a large cartesian closed sibling of topological spaces 1
Theoretical Computer Science, Volume: 327, Issue: 1-2, October 25, 2004 Home Browse Search Settings Alerts My Articles Help
TYPES AND COALGEBRAIC STRUCTURE H. PETER GUMM AND TOBIAS SCHRODER
Distributivity of Categories of Coalgebras H. Peter Gumm1
Monoid-labeled transition systems H. Peter Gumm, Tobias Schroder
Algebra univers. 45 (2001) 135 147 00025240/01/030135 13 $ 1.50 + 0.20/0
Neural Pascal A Language for Neural Network Programming
Continuations of logic programs H.Peter Gumm
Neues Prfzifferverfahren schlgt die bisherigen Methoden: NEUHERBERG -Fehler bei der Dateneingabe sollen endgltig vermieden
On strong fairness in UNITY H.P.Gumm, D.Zhukov
ELEMENTS OF THE GENERAL THEORY OF PRELIMINARY VERSION
PRESENTATION OF SET FUNCTORS: A COALGEBRAIC PERSPECTIVE
ON COALGEBRAS AND TYPE TRANSFORMATIONS H. PETER GUMM
Covarieties and Complete Covarieties H. Peter Gumm, Tobias Schroder
Copower functors H. Peter Gumm
ON MINIMAL COALGEBRAS H. PETER GUMM
Theoretical Computer Science 260 (2001) 5769 www.elsevier.com/locate/tcs
H. Peter Gumm \Lambda MUNITY is a program verification system for parallel programs ex
Generating Algebraic Laws from Imperative H. Peter Gumm