http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=SchernhammerTermination-Portal.org - User contributions [en]2026-05-02T09:07:08ZUser contributionsMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Tools:VMTL&diff=1038Tools:VMTL2009-12-30T10:45:11Z<p>Schernhammer: 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 page y…'</p>
<hr />
<div><!--<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=VMTL<br />
|longname=Vienna Modular Termination Laboratory<br />
|homepage=http://www.logic.at/vmtl/<br />
|country=Austria<br />
|university=Vienna University of Technology<br />
|developers=[[People:Felix Schernhammer|Felix Schernhammer]], Bernhard Gramlich<br />
|publication=[[Bibtex:SG09|VMTL - A Modular Termination Laboratory]]<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>Schernhammerhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:SG09&diff=1037Bibtex:SG092009-12-30T10:40:30Z<p>Schernhammer: Created page with ' <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->…'</p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<!-- Please add the BibTeX data below this comment. --><br />
<bibtex><br />
@inproceedings{IJCAR06,<br />
author = "F. Schernhammer and B. Gramlich",<br />
title = "VMTL - A Modular Termination Laboratory", <br />
booktitle = "Proceedings RTA '09",<br />
publisher = "Springer",<br />
series = "LNCS 5595",<br />
pages = "285-294",<br />
year = "2009"<br />
}<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Schernhammerhttp://termination-portal.org/mediawiki/index.php?title=People:Felix_Schernhammer&diff=1036People:Felix Schernhammer2009-12-30T10:34:25Z<p>Schernhammer: Created page with '<!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yoursel…'</p>
<hr />
<div><!--<br />
Please fill in the data so that you can be added to some default<br />
categories and a simple user page can be created. You may extend<br />
that user page yourself after the following code block.<br />
--><br />
<br />
{{Person<br />
|firstname=Felix<br />
|middlenames=<br />
|lastname=Schernhammer<br />
|titles=<br />
|email=felixs@logic.at<br />
|homepage=http://www.logic.at/people/schernhammer<br />
|country=Austria<br />
|university=Vienna University of Technology, Institute of Computer Languages<br />
|department=Theory and Logic Group<br />
|role=PhD Student<br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Schernhammer