Dieter Hofbauer
Author
Alternate names Dieter Hofbauer, D. Hofbauer
Institution Nordakademie
Past institutions Nordakademie, University of Kassel, Technische Universität Berlin, Cornell University, Fondation Sophia Antipolis +3 more
H-index: 14
I10-index: 20
Works count: 55
Citations count: 642
Termination proofs and the length of derivations
1989 · Dieter Hofbauer, Clemens Lautemann · Lecture notes in computer science
Termination proofs by multiset path orderings imply primitive recursive derivation lengths
1992 · Dieter Hofbauer · Theoretical Computer Science
Termination of String Rewriting with Matrix Interpretations
2006 · Dieter Hofbauer, Johannes Waldmann · Lecture notes in computer science