Search results

From Termination-Portal.org
Jump to navigationJump to search

  • Tools:TrafO
    Please use the "publication" field to add a reference to a publication ...ation Competition]] 2008 used the transformations T_1 and T_3 of the above reference and both
    1 KB (191 words) - 14:52, 18 May 2009
  • Bibtex:BN98
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    397 bytes (57 words) - 16:43, 2 April 2008
  • Bibtex:Oppelt08
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    538 bytes (70 words) - 05:35, 20 May 2009
  • Bibtex:CoLoR09
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    584 bytes (79 words) - 07:13, 3 June 2009
  • Bibtex:Giesl04
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    578 bytes (73 words) - 17:25, 13 May 2009
  • Bibtex:AGL07
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    629 bytes (81 words) - 14:56, 16 June 2009
  • Bibtex:Ohlebusch01
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    669 bytes (81 words) - 18:43, 31 March 2008
  • Bibtex:GST06
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    658 bytes (82 words) - 20:55, 13 May 2009
  • Bibtex:CoLoR06
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    655 bytes (97 words) - 07:12, 3 June 2009
  • Bibtex:Luc06
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    686 bytes (87 words) - 15:28, 16 June 2009
  • Bibtex:GSST06
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    685 bytes (87 words) - 06:23, 8 April 2008
  • Bibtex:Luc07
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    708 bytes (94 words) - 15:10, 16 June 2009
  • Bibtex:DLMMU08
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    754 bytes (92 words) - 15:42, 16 June 2009
  • Bibtex:GLU08
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    692 bytes (87 words) - 15:04, 16 June 2009
  • Bibtex:FNOGLS08
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    701 bytes (97 words) - 15:03, 16 June 2009
  • Bibtex:SGST06
    </bibtex><!-- If you want to add some personal data to the reference page, you can do so after this comment. -->
    696 bytes (91 words) - 18:44, 31 March 2008
  • Bibtex:RZ09
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    792 bytes (107 words) - 14:37, 18 May 2009
  • Bibtex:AL07
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    766 bytes (93 words) - 15:05, 16 June 2009
  • Bibtex:KSZM09
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    758 bytes (92 words) - 14:29, 18 May 2009
  • Bibtex:LM08
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    738 bytes (94 words) - 15:31, 16 June 2009
  • Bibtex:FGMSTZ07
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    777 bytes (104 words) - 18:44, 31 March 2008
  • Bibtex:AGL06
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    770 bytes (95 words) - 14:45, 16 June 2009
  • Bibtex:DLM08
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    803 bytes (102 words) - 15:39, 16 June 2009
  • Bibtex:Luc04
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    762 bytes (96 words) - 11:40, 19 May 2009
  • Bibtex:DLMMU04
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    830 bytes (104 words) - 15:35, 16 June 2009
  • Bibtex:Contejean07
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    844 bytes (103 words) - 08:22, 21 May 2009
  • Bibtex:TS09
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    611 bytes (76 words) - 09:54, 29 September 2009
  • Bibtex:SG09
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    606 bytes (76 words) - 10:40, 30 December 2009
  • Bibtex:VDS10
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    573 bytes (77 words) - 15:29, 5 July 2010
  • Bibtex:CoLoR11
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    652 bytes (92 words) - 09:12, 18 January 2011
  • Bibtex:VDS09
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    764 bytes (106 words) - 15:22, 5 July 2010
  • Tools:THOR
    Please use the "publication" field to add a reference to a publication
    763 bytes (116 words) - 18:27, 26 June 2012
  • Tools:HOT
    Please use the "publication" field to add a reference to a publication
    789 bytes (119 words) - 07:14, 27 June 2012
  • Tools:Wanda
    Please use the "publication" field to add a reference to a publication
    768 bytes (118 words) - 18:25, 26 June 2012
  • Bibtex:AProVE14
    </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. -->
    1 KB (110 words) - 07:55, 29 July 2014
  • Tools:KITTeL
    Please use the "publication" field to add a reference to a publication
    823 bytes (122 words) - 11:38, 25 April 2012
  • Tools:NTI
    Please use the "publication" field to add a reference to a publication
    841 bytes (124 words) - 12:51, 20 August 2017
  • News:Adding References
    and initials+year[+a-z] for multi author papers. If you refer to the reference itself, the usual BibTeX formats should be supported.
    1 KB (229 words) - 09:04, 8 April 2008
  • Tools:Julia
    Please use the "publication" field to add a reference to a publication
    858 bytes (129 words) - 09:57, 22 December 2009
  • Tools:PTNT
    Please use the "publication" field to add a reference to a publication
    900 bytes (134 words) - 15:33, 5 July 2010
  • Contribute
    * avoid duplication of information (provide a reference/link instead).
    871 bytes (132 words) - 09:50, 27 June 2012
  • Tools:VMTL
    Please use the "publication" field to add a reference to a publication
    937 bytes (135 words) - 10:45, 30 December 2009
  • Tools:VeriFun
    Please use the "publication" field to add a reference to a publication
    2 KB (267 words) - 00:09, 8 August 2017
  • Termination Competition 2014 Registration
    the following is for historic reference only:
    4 KB (580 words) - 14:43, 19 July 2014
  • Star Exec
    There are some notes from 2012 below, for historical reference. An important change is that Starexec now provides [https://www.starexec.or
    6 KB (957 words) - 19:34, 13 May 2014
Retrieved from "http://termination-portal.org/wiki/Special:Search"