Franz Winkler

Dissertation: The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms

Advisor 1

Name	Institution	Year	Students
Christian Aistleitner	Johannes Kepler Universität Linz	2010	0
Rahul Ramesh Athale	Johannes Kepler Universität Linz	2005	0
Piet Bikker	Johannes Kepler Universität Linz	2001	0
Christian Dönch	Not recorded	—	0
Sebastian Falkensteiner	Johannes Kepler Universität Linz	2020	0
Christoph Fuerst	Johannes Kepler Universität Linz	2017	0
Georg Grasegger	Johannes Kepler Universität Linz	2015	0
Hong Gu	Johannes Kepler Universität Linz	2003	0
Ralf Hemmecke	Johannes Kepler Universität Linz	2003	0
Erik Hillgarter	Johannes Kepler Universität Linz	2003	0
Yanli Huang	Johannes Kepler Universität Linz and Beihang University	2012	0
Aleksey Kondratyev	Johannes Kepler Universität Linz	2003	0
Ziming Li	Johannes Kepler Universität Linz	1996	3
Glauco Alfredo Lopez Diaz	Johannes Kepler Universität Linz	2006	0
Johannes Middeke	Johannes Kepler Universität Linz	2011	0
Michal Mnuk	Johannes Kepler Universität Linz	1995	0
Katsusuke Nabeshima	Johannes Kepler Universität Linz	2007	0
Lam Xuan Chau Ngo	Not recorded	—	1
Giovanna Roda	Johannes Kepler Universität Linz	2004	0
Juan Rafael Sendra	Universidad de Alcalá	1990	8
Ekaterina Shemyakova	Research Institute for Symbolic Computation (RISC), Linz	2007	0
Peter Stadelmeyer	Johannes Kepler Universität Linz	2000	0
Quoc-Nam Tran	Johannes Kepler Universität Linz	1996	0
Ngoc Thieu Vo	Johannes Kepler Universität Linz	2016	0
Bernhard Wall	Johannes Kepler Universität Linz	1993	0

Genealogy