Prof. Dr. H. Peter Gumm
Research
Coalgebras
Universal Algebra
Verification
Publications
Books and Monographs
Articles
Documentation:
Using
XY-pic
in
LyX
html
or
pdf
(Part
of
distribution
)
Teaching
·
Summer 2022
State Based Systems - Universal Coalgebra
·
Winter 2022/23
Logik
·
Summer 2023
Program
Verification
and Synthesis
Contact
Phone: +49
(0) 6421 28 -
21516
E-Mail
Sekretary
: Ms. Dinklage, Tel: -
21513
Information for Visitors
Office hours
By
appointment