Search results

• Tools:VMTL
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  937 bytes (135 words) - 10:45, 30 December 2009
• Tools:Rainbow
  |publication=[[Bibtex:CoLoR11|Bibtex:CoLoR11]]
  619 bytes (94 words) - 09:13, 18 January 2011
• Tools:THOR
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  763 bytes (116 words) - 18:27, 26 June 2012
• Tools:HOT
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  789 bytes (119 words) - 07:14, 27 June 2012
• Tools:Wanda
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  768 bytes (118 words) - 18:25, 26 June 2012
• Tools:CoLoR
  |publication=[[Bibtex:CoLoR11|Bibtex:CoLoR11]]
  699 bytes (106 words) - 09:12, 18 January 2011
• Tools:KITTeL
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  823 bytes (122 words) - 11:38, 25 April 2012
• Tools:NTI
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  841 bytes (124 words) - 12:51, 20 August 2017
• Tools:Julia
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  858 bytes (129 words) - 09:57, 22 December 2009
• Tools:Nonloop
  |publication=[[Bibtex:Oppelt08]]
  653 bytes (97 words) - 05:37, 20 May 2009
• Tools:Cime
  |publication=[[Bibtex:Contejean07]]
  636 bytes (100 words) - 12:46, 9 April 2010
• Tools:A3PAT
  |publication=[[Bibtex:Contejean07]]
  671 bytes (105 words) - 08:28, 21 May 2009
• Tools:TTT2
  |publication=[[Bibtex:KSZM09|Tyrolean Termination Tool 2]]
  745 bytes (107 words) - 14:09, 18 May 2009
• Tools:VeriFun
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  2 KB (267 words) - 00:09, 8 August 2017
• Tools:MU-TERM
  |publication=[[Bibtex:Luc04|MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewritin
  850 bytes (130 words) - 11:36, 19 May 2009
• Tools:CeTA
  |publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]
  894 bytes (133 words) - 10:25, 6 September 2016
• Tools:IsaFoR
  |publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]
  689 bytes (101 words) - 12:44, 9 April 2010
• News:Adding References
  ...] 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:AProVE
  |publication=[[Bibtex:AProVE14|Proving Termination of Programs Automatically with AProVE]]
  904 bytes (127 words) - 20:25, 25 May 2014
• Termination Portal
  [[:Category:Bibtex|References]] (publications related to termination analysis).
  2 KB (227 words) - 13:37, 16 January 2024

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)