Search results
From Termination-Portal.org
Jump to navigationJump to search
- * Dieter Hofbauer2 KB (273 words) - 13:33, 2 June 2008
- | Dieter Hofbauer and Johannes Waldmann: | Dieter Hofbauer:11 KB (1,420 words) - 17:02, 17 August 2023
- * [http://www.theory.informatik.uni-kassel.de/~hofbauer/ Dieter Hofbauer] (ASW BA Saarland)5 KB (703 words) - 11:58, 26 August 2013