Search results

From Termination-Portal.org
Jump to navigationJump to search

  • People:Frederic Blanqui
    |homepage=http://www-rocq.inria.fr/~blanqui/ |university=INRIA
    506 bytes (78 words) - 01:54, 14 May 2009
  • Bibtex:CoLoR09
    institution = {INRIA Rocquencourt, France}, url = {http://www-rocq.inria.fr/~blanqui/rr6949-pdf.html}}
    584 bytes (79 words) - 07:13, 3 June 2009
  • Tools:A3PAT
    |university=Cedric, INRIA Sophia-Antipolis, LaBRI, LRI-PCRI
    671 bytes (105 words) - 08:28, 21 May 2009
  • Tools:Rainbow
    |homepage=http://color.inria.fr/ |university=INRIA and Eindhoven University of Technology
    619 bytes (94 words) - 09:13, 18 January 2011
  • Tools:HOT
    |homepage=https://who.rocq.inria.fr/Frederic.Blanqui/hot.html |university=INRIA
    789 bytes (119 words) - 07:14, 27 June 2012
  • Tools:CoLoR
    |homepage=http://color.inria.fr/ |university=INRIA and Eindhoven University of Technology
    699 bytes (106 words) - 09:12, 18 January 2011
  • 19th International Workshop on Termination
    * [http://www-sop.inria.fr/members/Martin.Avanzini/ Martin Avanzini], INRIA Sophia Antipolis
    11 KB (1,420 words) - 17:02, 17 August 2023
Retrieved from "http://termination-portal.org/wiki/Special:Search"