The Mathematics Genealogy Project - Christian Fermüller

Home
Search
Extrema
About MGP
- Mission
- News
- Staff
- Recognition
- Acknowledgments
Links
FAQs
Posters
Submit Data
Mirrors
- NDSU (main)
- AMS
- Bielefeld
- IMPA

A service of the NDSU Department of Mathematics, in association with the American Mathematical Society.

Please email us with feedback.

Christian Georg Fermüller

MathSciNet

Dr. techn. Technische Universität Wien 1991

Dissertation: Deciding Classes of Clause Sets by Resolution

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1: Alexander Leitsch
Advisor 2: Georg Gottlob

Students:
Click here to see the students ordered by family name.

Name	School	Year	Descendants
Georg Moser	Technische Universität Wien	2001	1
Michal Ceresna	Technische Universität Wien	2005

According to our current on-line database, Christian Fermüller has 2 students and 3 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form.