http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Tools%3ATHORTools:THOR - Revision history2026-04-13T19:08:56ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Tools:THOR&diff=1266&oldid=prevJ.waldmann: Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..."2012-06-26T18:27:24Z<p>Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..."</p>
<p><b>New page</b></p><div><br />
<!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
<br />
Please use the "publication" field to add a reference to a publication<br />
introducing your tool. The "References" page can be used to enter a bibtex<br />
record for this publication.<br />
Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br />
--><br />
<br />
{{Tool<br />
|shortname=THOR<br />
|longname=<br />
|homepage=http://www.lsi.upc.edu/~albert<br />
|country=ES<br />
|university=UPC<br />
|developers=Albert Rubio<br />
|publication=<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>J.waldmann