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 2021

• Computer Based Interactive Theorem Proving

· Winter 2021/22

• Logik

Contact

• Phone: +49 (0) 6421 28 - 21516
• E-Mail
• Sekretary: Ms. Dinklage, Tel: - 21513
• Information for Visitors

Office hours

• By appointment