Search results

• Bibtex:Buendgen98
  [[Category:Bibtex| ]] == BibTex ==
  217 bytes (19 words) - 14:29, 30 March 2008
• Bibtex:BN98
  [[Category:Bibtex| ]] == BibTex ==
  397 bytes (57 words) - 16:43, 2 April 2008
• Bibtex:Ohlebusch02
  [[Category:Bibtex| ]] == BibTex ==
  217 bytes (22 words) - 15:42, 21 September 2009
• Bibtex:Kurth90
  [[Category:Bibtex| ]] == BibTex ==
  251 bytes (26 words) - 14:29, 30 March 2008
• Bibtex:Drosten89
  [[Category:Bibtex| ]] == BibTex ==
  275 bytes (21 words) - 14:29, 30 March 2008
• Bibtex:TeReSe03
  [[Category:Bibtex| ]] == BibTex ==
  235 bytes (27 words) - 14:30, 30 March 2008
• Bibtex:Oppelt08
  [[Category:Bibtex| ]] == BibTex ==
  538 bytes (70 words) - 05:35, 20 May 2009
• Bibtex:CoLoR09
  [[Category:Bibtex| ]] == BibTex ==
  584 bytes (79 words) - 07:13, 3 June 2009
• Bibtex:Giesl04
  [[Category:Bibtex| ]] == BibTex ==
  578 bytes (73 words) - 17:25, 13 May 2009
• Bibtex:AGL07
  [[Category:Bibtex| ]] == BibTex ==
  629 bytes (81 words) - 14:56, 16 June 2009
• Bibtex:GST06
  [[Category:Bibtex| ]] == BibTex ==
  658 bytes (82 words) - 20:55, 13 May 2009
• Bibtex:Ohlebusch01
  [[Category:Bibtex| ]] == BibTex ==
  669 bytes (81 words) - 18:43, 31 March 2008
• Bibtex:CoLoR06
  [[Category:Bibtex| ]] == BibTex ==
  655 bytes (97 words) - 07:12, 3 June 2009
• Bibtex:GSST06
  [[Category:Bibtex| ]] == BibTex ==
  685 bytes (87 words) - 06:23, 8 April 2008
• Bibtex:Luc06
  [[Category:Bibtex| ]] == BibTex ==
  686 bytes (87 words) - 15:28, 16 June 2009
• Bibtex:DLMMU08
  [[Category:Bibtex| ]] == BibTex ==
  754 bytes (92 words) - 15:42, 16 June 2009
• Bibtex:Luc07
  [[Category:Bibtex| ]] == BibTex ==
  708 bytes (94 words) - 15:10, 16 June 2009
• Bibtex:GLU08
  [[Category:Bibtex| ]] == BibTex ==
  692 bytes (87 words) - 15:04, 16 June 2009
• Bibtex:FNOGLS08
  [[Category:Bibtex| ]] == BibTex ==
  701 bytes (97 words) - 15:03, 16 June 2009
• Bibtex:SGST06
  [[Category:Bibtex| ]] == BibTex ==
  696 bytes (91 words) - 18:44, 31 March 2008
• Bibtex:AL07
  [[Category:Bibtex| ]] == BibTex ==
  766 bytes (93 words) - 15:05, 16 June 2009
• Bibtex:RZ09
  [[Category:Bibtex| ]] == BibTex ==
  792 bytes (107 words) - 14:37, 18 May 2009
• Bibtex:MORV05
  [[Category:Bibtex| ]] == BibTex ==
  435 bytes (53 words) - 08:53, 31 March 2008
• Bibtex:KSZM09
  [[Category:Bibtex| ]] == BibTex ==
  758 bytes (92 words) - 14:29, 18 May 2009
• Bibtex:LM08
  [[Category:Bibtex| ]] == BibTex ==
  738 bytes (94 words) - 15:31, 16 June 2009
• Bibtex:FGMSTZ07
  [[Category:Bibtex| ]] == BibTex ==
  777 bytes (104 words) - 18:44, 31 March 2008
• Bibtex:AGL06
  [[Category:Bibtex| ]] == BibTex ==
  770 bytes (95 words) - 14:45, 16 June 2009
• Bibtex:DLM08
  [[Category:Bibtex| ]] == BibTex ==
  803 bytes (102 words) - 15:39, 16 June 2009
• Bibtex:Luc04
  [[Category:Bibtex| ]] == BibTex ==
  762 bytes (96 words) - 11:40, 19 May 2009
• Bibtex:DLMMU04
  [[Category:Bibtex| ]] == BibTex ==
  830 bytes (104 words) - 15:35, 16 June 2009
• Bibtex:Contejean07
  [[Category:Bibtex| ]] == BibTex ==
  844 bytes (103 words) - 08:22, 21 May 2009
• Bibtex:TS09
  [[Category:Bibtex| ]] == BibTex ==
  611 bytes (76 words) - 09:54, 29 September 2009
• Bibtex:SG09
  [[Category:Bibtex| ]] == BibTex ==
  606 bytes (76 words) - 10:40, 30 December 2009
• Bibtex:VDS10
  [[Category:Bibtex| ]] == BibTex ==
  573 bytes (77 words) - 15:29, 5 July 2010
• Bibtex:CoLoR11
  [[Category:Bibtex| ]] == BibTex ==
  652 bytes (92 words) - 09:12, 18 January 2011
• Bibtex:VDS09
  [[Category:Bibtex| ]] == BibTex ==
  764 bytes (106 words) - 15:22, 5 July 2010
• Bibtex:AProVE14
  [[Category:Bibtex| ]] == BibTex ==
  1 KB (110 words) - 07:55, 29 July 2014
• Tools:TrafO
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  1 KB (191 words) - 14:52, 18 May 2009
• Tools:TALP
  transformation are described in [[:Bibtex:Ohlebusch01]]. For non-well-moded logic programs, a more recent transformation is described in [[:Bibtex:SGST06]].
  824 bytes (121 words) - 17:30, 13 May 2009
• Tools:PTNT
  introducing your tool. The "References" page can be used to enter a bibtex Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]
  900 bytes (134 words) - 15:33, 5 July 2010
• 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

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