Search results

From Termination-Portal.org
Jump to navigationJump to search

  • WScT08-Registration
    * Dieter Hofbauer
    2 KB (273 words) - 13:33, 2 June 2008
  • 19th International Workshop on Termination
    | Dieter Hofbauer and Johannes Waldmann: | Dieter Hofbauer:
    11 KB (1,420 words) - 17:02, 17 August 2023
  • WST2013
    * [http://www.theory.informatik.uni-kassel.de/~hofbauer/ Dieter Hofbauer] (ASW BA Saarland)
    5 KB (703 words) - 11:58, 26 August 2013
Retrieved from "http://termination-portal.org/wiki/Special:Search"