Search results

From Termination-Portal.org
Jump to navigationJump to search

Page title matches

  • People:Carsten Fuhs
    |firstname=Carsten |lastname=Fuhs
    696 bytes (104 words) - 17:24, 3 February 2023

Page text matches

  • What domain name?
    Peter: I like termination-portal as it is descriptive. (Carsten Otto thinks the same.) Carsten Fuhs: Another proposal might be <i>termination.at</i> (still free according to w
    1 KB (172 words) - 09:48, 7 April 2008
  • Tools:AProVE
    ...n Swiderski]], [[People:Carsten Fuhs|Carsten Fuhs]], [[People:Carsten Otto|Carsten Otto]], [[People:Fabian Emmes|Fabian Emmes]] et al.
    904 bytes (127 words) - 20:25, 25 May 2014
  • Bibtex:AProVE14
    Fuhs, Carsten and Otto, Carsten and
    1 KB (110 words) - 07:55, 29 July 2014
  • People:Carsten Fuhs
    |firstname=Carsten |lastname=Fuhs
    696 bytes (104 words) - 17:24, 3 February 2023
  • WScT08-Registration
    * Carsten Fuhs
    2 KB (273 words) - 13:33, 2 June 2008
  • 19th International Workshop on Termination
    '''Session 3''': Termination beyond Term Rewriting (Chair: Carsten Fuhs) ...loerkes, Stefan Dollase, [https://ffrohn.github.io Florian Frohn], Carsten Fuhs, Jera Hensel, Jan-Christoph Kassing, Nils Lommen and Eleanore Meyer:
    11 KB (1,420 words) - 17:02, 17 August 2023
  • WST2013
    * [http://www0.cs.ucl.ac.uk/staff/C.Fuhs/ Carsten Fuhs] (Univ. College London)
    5 KB (703 words) - 11:58, 26 August 2013
Retrieved from "http://termination-portal.org/wiki/Special:Search"