Search results
From Termination-Portal.org
Jump to navigationJump to search
Page title matches
- |lastname=Fuhs |email=c.fuhs@bbk.ac.uk696 bytes (104 words) - 17:24, 3 February 2023
Page text matches
- Carsten Fuhs: Another proposal might be <i>termination.at</i> (still free according to w C. Fuhs: I would also be fine with termination-portal.org.1 KB (172 words) - 09:48, 7 April 2008
- |lastname=Fuhs |email=c.fuhs@bbk.ac.uk696 bytes (104 words) - 17:24, 3 February 2023
- ...eople:Stephan Swiderski|Stephan Swiderski]], [[People:Carsten Fuhs|Carsten Fuhs]], [[People:Carsten Otto|Carsten Otto]], [[People:Fabian Emmes|Fabian Emmes904 bytes (127 words) - 20:25, 25 May 2014
- author = {C. Fuhs, R. Navarro-Marset, C. Otto, J. Giesl, S. Lucas and P. Schneider-Kamp},701 bytes (97 words) - 15:03, 16 June 2009
- author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and777 bytes (104 words) - 18:44, 31 March 2008
- Fuhs, Carsten and1 KB (110 words) - 07:55, 29 July 2014
- * Carsten Fuhs2 KB (273 words) - 13:33, 2 June 2008
- '''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
- * [http://www0.cs.ucl.ac.uk/staff/C.Fuhs/ Carsten Fuhs] (Univ. College London)5 KB (703 words) - 11:58, 26 August 2013
