Search results

• 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

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