Search results
From Termination-Portal.org
Jump to navigationJump to search
- 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
- |publication=[[Bibtex:CoLoR11|Bibtex:CoLoR11]]619 bytes (94 words) - 09:13, 18 January 2011
- 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
- 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
- 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
- |publication=[[Bibtex:CoLoR11|Bibtex:CoLoR11]]699 bytes (106 words) - 09:12, 18 January 2011
- 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
- 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
- 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
- |publication=[[Bibtex:Oppelt08]]653 bytes (97 words) - 05:37, 20 May 2009
- |publication=[[Bibtex:Contejean07]]636 bytes (100 words) - 12:46, 9 April 2010
- |publication=[[Bibtex:Contejean07]]671 bytes (105 words) - 08:28, 21 May 2009
- |publication=[[Bibtex:KSZM09|Tyrolean Termination Tool 2]]745 bytes (107 words) - 14:09, 18 May 2009
- 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
- |publication=[[Bibtex:Luc04|MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewritin850 bytes (130 words) - 11:36, 19 May 2009
- |publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]894 bytes (133 words) - 10:25, 6 September 2016
- |publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]689 bytes (101 words) - 12:44, 9 April 2010
- ...] 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
- |publication=[[Bibtex:AProVE14|Proving Termination of Programs Automatically with AProVE]]904 bytes (127 words) - 20:25, 25 May 2014
- [[:Category:Bibtex|References]] (publications related to termination analysis).2 KB (227 words) - 13:37, 16 January 2024