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 2023
Program Verification
·
Winter 2023/24
Universal Coalgebra
·
Summer 2024
Computer-assisted Theorem Proving
Contact
Phone: +49
(0) 6421 28 -
21516
E-Mail
Sekretary
: Ms. Dinklage, Tel: -
21513
Information for Visitors
Office hours
By
appointment