http://termination-portal.org/mediawiki/api.php?action=feedcontributions&user=Admin&feedformat=atomTermination-Portal.org - User contributions [en]2024-03-29T00:35:49ZUser contributionsMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Contribute&diff=405Contribute2008-04-29T17:29:54Z<p>Admin: </p>
<hr />
<div>= How to Contribute =<br />
<br />
If you do research on termination, then consider contributing to this web site.<br />
<br />
* to add or edit pages, you need an account. You can register for a new account and after confirmation of your mail address the administrators decide whether to accept your request based on the credentials you provided. In order to successfully register your account please add some hints why you are interested in termination (publications, contact data, ...).<br />
<br />
* before you add information, determine its "most logical" place (consider where you'd search for it).<br />
<br />
* only submit information that you really "own", that is, that concerns your work directly. <br />
<br />
* avoid duplication of information (provide a reference/link instead).<br />
<br />
* if you post a news entry please keep it short. You can link to some site containing more information.</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:About&diff=357Termination-Portal.org:About2008-04-09T13:08:40Z<p>Admin: </p>
<hr />
<div>= Impressum =<br />
Die Ansprechperson für Termination-Portal.org ist:<br />
Peter Schneider-Kamp<br />
Lehr- und Forschungsgebiet Informatik 2<br />
RWTH Aachen<br />
52056 Aachen<br />
+49 241 80 21211<br />
[mailto:psk@informatik.rwth-aachen.de psk@informatik.rwth-aachen.de]<br />
<br />
= Präambel =<br />
Termination-Portal.org ist eine Webseite von und für Forscher aus dem Bereich der Terminierungsanalyse.<br />
Die Idee ist, dass die Seitenbetreiber sich im Regelfall nur um die technischen Voraussetzungen kümmern, während<br />
die Inhalte von den Benutzern, d.h. den Forschern, beigesteuert werden. Dadurch soll<br />
eine ständig aktualisierte Wissenbasis rund um den Forschungsbereich entstehen. <br />
<br />
= Nutzungsbedingungen =<br />
Die Benutzer sind verpflichtet, alle Inhalte, die sie zu dieser Website beisteuern, nach bestem Wissen zu erstellen.<br />
Jeder Benutzer ist für die von ihm erstellten Beiträge selbst in vollem Umfang verantwortlich. Insbesondere muss er beim<br />
Einstellen von Inhalten das Urheberrecht berücksichtigen. Auch Links auf externe Webseiten sind vor dem Einstellen nach<br />
bestem Wissen und Gewissen auf Freiheit von Rechtsverstößen zu prüfen.<br />
<br />
= Haftung für Inhalte =<br />
Die Inhalte dieser Webseite werden von den Benutzern mit großer Sorgfalt erstellt. <br />
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte kann jedoch keine Gewähr übernommen werden.<br />
<br />
Die von den Benutzern eingestellten Inhalte können nicht regelmäßig auf mögliche Rechtsverstöße überwacht werden.<br />
Sollten den Seitenbetreibern jedoch Rechtsverstöße bekannt sein bzw. zur Kenntnis gebracht werden, werden die fraglichen<br />
Inhalte umgehend entfernt oder gesperrt.<br />
<br />
= Haftung für Links =<br />
Auf den Inhalt von verlinkten externen Webseiten besteht kein Einfluss. Deshalb kann auch<br />
keine Verantwortung für deren Inhalte übernommen werden. Sollten den Seitenbetreibern jedoch Rechtsverstöße im Inhalt der<br />
externen Seiten bekannt sein bzw. zur Kenntnis gebracht werden, werden die fraglichen Links umgehend entfernt.<br />
<br />
= Datenschutz =<br />
Auf dieser Webseite werden personenbezogene Daten stets auf freiwilliger Basis und im Regelfall durch den Benutzer selbst erhoben. <br />
Der Nutzung jeglicher veröffentlichter personenbezogener Daten sowie die Nutzung der im Impressum veröffentlichten Kontaktdaten<br />
zu Werbezwecken wird hiermit ausdrücklich widersprochen.</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:About&diff=356Termination-Portal.org:About2008-04-09T12:49:34Z<p>Admin: </p>
<hr />
<div>= Impressum =<br />
Die Ansprechperson für Termination-Portal.org ist:<br />
Peter Schneider-Kamp<br />
Lehr- und Forschungsgebiet Informatik 2<br />
RWTH Aachen<br />
52056 Aachen<br />
+49 241 80 21211<br />
[mailto:psk@informatik.rwth-aachen.de psk@informatik.rwth-aachen.de]<br />
<br />
= Präambel =<br />
Termination-Portal.org ist eine Webseite von und für Forscher aus dem Bereich der Terminierungsanalyse.<br />
Die Idee ist, dass die Seitenbetreiber sich im Regelfall nur um die technischen Voraussetzungen kümmern, während<br />
die Inhalte von den Benutzern, d.h. den Forschern, beigesteuert werden. Dadurch soll<br />
eine ständig aktualisierte Wissenbasis rund um den Forschungsbereich entstehen. <br />
<br />
= Nutzungsbedingungen =<br />
Die Benutzer sind verpflichtet, alle Inhalte, die sie zu dieser Website beisteuern, nach bestem Wissen zu erstellen.<br />
Jeder Benutzer ist für die von ihm erstellten Beiträge selbst in vollem Umfang verantwortlich. Insbesondere muss er beim<br />
Einstellen von Inhalten das Urheberrecht berücksichtigen. Auch Links auf externe Webseiten sind vor dem Einstellen nach<br />
bestem Wissen und Gewissen auf Freiheit von Rechtsverstößen zu prüfen.<br />
<br />
= Haftung für Inhalte =<br />
Die Inhalte dieser Webseite werden von den Benutzern mit großer Sorgfalt erstellt. <br />
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte kann jedoch keine Gewähr übernommen werden.<br />
<br />
Die von den Benutzern eingestellten Inhalte können nicht regelmässig auf mögliche Rechtsverstöße überwacht werden.<br />
Sollten den Seitenbetreibern jedoch Rechtsverstöße bekannt sein bzw. zur Kenntnis gebracht werden, werden die fraglichen<br />
Inhalte umgehend entfernt oder gesperrt.<br />
<br />
= Haftung für Links =<br />
Auf den Inhalt von verlinkten externen Webseiten besteht kein Einfluss. Deshalb kann auch<br />
keine Verantwortung für deren Inhalte übernommen werden. Sollten den Seitenbetreibern jedoch Rechtsverstöße im Inhalt der<br />
externen Seiten bekannt sein bzw. zur Kenntnis gebracht werden, werden die fraglichen Links umgehend entfernt.<br />
<br />
= Datenschutz =<br />
Auf dieser Webseite werden personenbezogene Daten stets auf freiwilliger Basis und im Regelfall durch den Benutzer selbst erhoben. <br />
Der Nutzung jeglicher veröffentlichter personenbezogener Daten sowie die Nutzung der im Impressum veröffentlichten Kontaktdaten<br />
zu Werbezwecken wird hiermit ausdrücklich widersprochen.</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:About&diff=355Termination-Portal.org:About2008-04-09T12:44:35Z<p>Admin: </p>
<hr />
<div>= Impressum =<br />
Die Ansprechperson für Termination-Portal.org ist:<br />
Peter Schneider-Kamp<br />
Lehr- und Forschungsgebiet Informatik 2<br />
RWTH Aachen<br />
52056 Aachen<br />
+49 241 80 21211<br />
[mailto:psk@informatik.rwth-aachen.de psk@informatik.rwth-aachen.de]<br />
<br />
= Präambel =<br />
Termination-Portal.org ist eine Webseite von und für Forscher aus dem Bereich der Terminierungsanalyse.<br />
Die Idee ist, dass alle Inhalte von den Benutzern, d.h. den Forschern, beigesteuert werden. Dadurch soll<br />
eine ständig aktualisierte Wissenbasis rund um den Forschungsbereich entstehen. <br />
<br />
= Nutzungsbedingungen =<br />
Die Benutzer sind verpflichtet, alle Inhalte, die sie zu dieser Website beisteuern, nach bestem Wissen zu erstellen.<br />
Jeder Benutzer ist für die von ihm erstellten Beiträge selbst in vollem Umfang verantwortlich. Insbesondere muss er beim<br />
Einstellen von Inhalten das Urheberrecht berücksichtigen. Auch Links auf externe Webseiten sind vor dem Einstellen nach<br />
bestem Wissen und Gewissen auf Freiheit von Rechtsverstößen zu prüfen.<br />
<br />
= Haftung für Inhalte =<br />
Die Inhalte unserer Seiten werden von unseren Benutzern mit großer Sorgfalt erstellt. <br />
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte kann jedoch keine Gewähr übernommen werden.<br />
<br />
Die von unseren Benutzern eingestellten Inhalte können wir nicht regelmässig auf mögliche Rechtsverstöße überwachen.<br />
Sollten uns jedoch Rechtsverstöße bekannt sein bzw. zur Kenntnis gebracht werden, werden wir die fraglichen<br />
Inhalte umgehend entfernen oder sperren.<br />
<br />
= Haftung für Links =<br />
Auf den Inhalt von verlinkten externen Webseiten haben wir keinen Einfluss. Deshalb können wir auch<br />
keine Verantwortung für deren Inhalte übernehmen. Sollten uns jedoch Rechtsverstöße im Inhalt der<br />
externen Seiten bekannt sein bzw. zur Kenntnis gebracht werden, werden wir die fraglichen Links umgehend entfernen.<br />
<br />
= Datenschutz =<br />
Auf unserer Webseite werden personenbezogene Daten stets auf freiwilliger Basis erhoben - im Regelfall<br />
durch den Benutzer selbst.<br />
<br />
Der Nutzung der im Impressum veröffentlichten Kontaktdaten<br />
zu Werbezwecken wird hiermit widersprochen.</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:About&diff=354Termination-Portal.org:About2008-04-09T12:40:40Z<p>Admin: </p>
<hr />
<div>= Impressum =<br />
Die Ansprechperson für Termination-Portal.org ist:<br />
Peter Schneider-Kamp<br />
Lehr- und Forschungsgebiet Informatik 2<br />
RWTH Aachen<br />
52056 Aachen<br />
+49 241 80 21211<br />
[mailto:psk@informatik.rwth-aachen.de psk@informatik.rwth-aachen.de]<br />
<br />
= Präambel =<br />
Termination-Portal.org ist eine Webseite von und für Forscher aus dem Bereich der Terminierungsanalyse.<br />
Die Idee ist, dass alle Inhalte von den Benutzern, d.h. den Forschern, beigesteuert werden. Dadurch soll<br />
eine ständig aktualisierte Wissenbasis rund um den Forschungsbereich entstehen. <br />
<br />
= Nutzungsbedingungen =<br />
Die Benutzer sind verpflichtet, alle Inhalte, die sie zu dieser Website beisteuern, nach bestem Wissen zu erstellen.<br />
Jeder Benutzer ist für die von ihm erstellten Beiträge selbst in vollem Umfang verantwortlich. Insbesondere muss er beim<br />
Einstellen von Inhalten das Urheberrecht berücksichtigen. Auch Links auf externe Webseiten sind vor dem Einstellen nach<br />
bestem Wissen und Gewissen auf Freiheit von Rechtsverstößen zu prüfen.<br />
<br />
= Haftung für Inhalte =<br />
Die Inhalte unserer Seiten werden von unseren Benutzern mit großer Sorgfalt erstellt. <br />
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte können wir jedoch keine Gewähr übernehmen.<br />
<br />
Die von unseren Benutzern eingestellten Inhalte können wir nicht regelmässig auf mögliche Rechtsverstöße überwachen.<br />
Sollten uns jedoch Rechtsverstöße bekannt sein bzw. zur Kenntnis gebracht werden, werden wir die fraglichen<br />
Inhalte umgehend entfernen oder sperren.<br />
<br />
= Haftung für Links =<br />
Auf den Inhalt von verlinkten externen Webseiten haben wir keinen Einfluss. Deshalb können wir auch<br />
keine Verantwortung für deren Inhalte übernehmen. Sollten uns jedoch Rechtsverstöße im Inhalt der<br />
externen Seiten bekannt sein bzw. zur Kenntnis gebracht werden, werden wir die fraglichen Links umgehend entfernen.<br />
<br />
= Datenschutz =<br />
Auf unserer Webseite werden personenbezogene Daten stets auf freiwilliger Basis erhoben - im Regelfall<br />
durch den Benutzer selbst.<br />
<br />
Der Nutzung der im Impressum veröffentlichten Kontaktdaten<br />
zu Werbezwecken wird hiermit widersprochen.</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:About&diff=352Termination-Portal.org:About2008-04-09T12:07:49Z<p>Admin: Termination-Portal.org:Impressum moved to Termination-Portal.org:About over redirect</p>
<hr />
<div>= Haftung für Inhalte =<br />
Die Inhalte unserer Seiten wurden mit größter Sorgfalt erstellt. <br />
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte <br />
können wir jedoch keine Gewähr übernehmen.<br />
<br />
Als Diensteanbieter sind wir gemäß § 7 Abs.1 TMG für <br />
eigene Inhalte auf diesen Seiten nach den allgemeinen Gesetzen verantwortlich. <br />
Nach §§ 8 bis 10 TMG sind wir als Diensteanbieter jedoch nicht <br />
verpflichtet, übermittelte oder gespeicherte fremde Informationen zu <br />
überwachen oder nach Umständen zu forschen, die auf eine rechtswidrige <br />
Tätigkeit hinweisen. Verpflichtungen zur Entfernung oder Sperrung der <br />
Nutzung von Informationen nach den allgemeinen Gesetzen bleiben hiervon <br />
unberührt. Eine diesbezügliche Haftung ist jedoch erst ab dem <br />
Zeitpunkt der Kenntnis einer konkreten Rechtsverletzung möglich. Bei <br />
bekannt werden von entsprechenden Rechtsverletzungen werden wir diese Inhalte <br />
umgehend entfernen.<br />
<br />
= Haftung für Links =<br />
Unser Angebot enthält Links zu externen Webseiten Dritter, auf deren <br />
Inhalte wir keinen Einfluss haben. Deshalb können wir für diese <br />
fremden Inhalte auch keine Gewähr übernehmen. Für die Inhalte <br />
der verlinkten Seiten ist stets der jeweilige Anbieter oder Betreiber der <br />
Seiten verantwortlich. Die verlinkten Seiten wurden zum Zeitpunkt der Verlinkung <br />
auf mögliche Rechtsverstöße überprüft. Rechtswidrige <br />
Inhalte waren zum Zeitpunkt der Verlinkung nicht erkennbar. Eine permanente <br />
inhaltliche Kontrolle der verlinkten Seiten ist jedoch ohne konkrete Anhaltspunkte <br />
einer Rechtsverletzung nicht zumutbar. Bei bekannt werden von Rechtsverletzungen <br />
werden wir derartige Links umgehend entfernen.<br />
<br />
= Urheberrecht =<br />
Die durch die Seitenbetreiber erstellten Inhalte und Werke auf diesen Seiten <br />
unterliegen dem deutschen Urheberrecht. Beiträge Dritter sind als solche <br />
gekennzeichnet. Die Vervielfältigung, Bearbeitung, Verbreitung und <br />
jede Art der Verwertung außerhalb der Grenzen des Urheberrechtes bedürfen <br />
der schriftlichen Zustimmung des jeweiligen Autors bzw. Erstellers. Downloads <br />
und Kopien dieser Seite sind nur für den privaten, nicht kommerziellen <br />
Gebrauch gestattet.<br />
<br />
Die Betreiber der Seiten sind bemüht, stets die Urheberrechte anderer <br />
zu beachten bzw. auf selbst erstellte sowie lizenzfreie Werke zurückzugreifen.<br />
<br />
= Datenschutz =<br />
Soweit auf unseren Seiten personenbezogene Daten (beispielsweise Name, <br />
Anschrift oder eMail-Adressen) erhoben werden, erfolgt dies soweit möglich <br />
stets auf freiwilliger Basis. Die Nutzung der Angebote und Dienste ist, <br />
soweit möglich, stets ohne Angabe personenbezogener Daten möglich. <br />
<br />
Wir weisen darauf hin, dass die Datenübertragung im Internet (z.B. <br />
bei der Kommunikation per E-Mail) Sicherheitslücken aufweisen kann. <br />
Ein lückenloser Schutz der Daten vor dem Zugriff durch Dritte ist nicht <br />
möglich.<br />
<br />
Der Nutzung von im Rahmen der Impressumspflicht veröffentlichten Kontaktdaten <br />
durch Dritte zur Übersendung von nicht ausdrücklich angeforderter <br />
Werbung und Informationsmaterialien wird hiermit ausdrücklich widersprochen. <br />
Die Betreiber der Seiten behalten sich ausdrücklich rechtliche Schritte <br />
im Falle der unverlangten Zusendung von Werbeinformationen, etwa durch Spam-Mails, <br />
vor.<br />
<br />
<br />
----<br />
<br />
'''Quelle:''' eRecht24.de - [http://www.e-recht24.de Rechtsberatung von Rechtsanwalt] Sören Siebert</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=MediaWiki:Disclaimers&diff=350MediaWiki:Disclaimers2008-04-09T12:06:46Z<p>Admin: Replacing page with '-'</p>
<hr />
<div>-</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:About&diff=348Termination-Portal.org:About2008-04-09T12:06:23Z<p>Admin: Termination-Portal.org:General disclaimer moved to Termination-Portal.org:Impressum</p>
<hr />
<div>= Haftung für Inhalte =<br />
Die Inhalte unserer Seiten wurden mit größter Sorgfalt erstellt. <br />
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte <br />
können wir jedoch keine Gewähr übernehmen.<br />
<br />
Als Diensteanbieter sind wir gemäß § 7 Abs.1 TMG für <br />
eigene Inhalte auf diesen Seiten nach den allgemeinen Gesetzen verantwortlich. <br />
Nach §§ 8 bis 10 TMG sind wir als Diensteanbieter jedoch nicht <br />
verpflichtet, übermittelte oder gespeicherte fremde Informationen zu <br />
überwachen oder nach Umständen zu forschen, die auf eine rechtswidrige <br />
Tätigkeit hinweisen. Verpflichtungen zur Entfernung oder Sperrung der <br />
Nutzung von Informationen nach den allgemeinen Gesetzen bleiben hiervon <br />
unberührt. Eine diesbezügliche Haftung ist jedoch erst ab dem <br />
Zeitpunkt der Kenntnis einer konkreten Rechtsverletzung möglich. Bei <br />
bekannt werden von entsprechenden Rechtsverletzungen werden wir diese Inhalte <br />
umgehend entfernen.<br />
<br />
= Haftung für Links =<br />
Unser Angebot enthält Links zu externen Webseiten Dritter, auf deren <br />
Inhalte wir keinen Einfluss haben. Deshalb können wir für diese <br />
fremden Inhalte auch keine Gewähr übernehmen. Für die Inhalte <br />
der verlinkten Seiten ist stets der jeweilige Anbieter oder Betreiber der <br />
Seiten verantwortlich. Die verlinkten Seiten wurden zum Zeitpunkt der Verlinkung <br />
auf mögliche Rechtsverstöße überprüft. Rechtswidrige <br />
Inhalte waren zum Zeitpunkt der Verlinkung nicht erkennbar. Eine permanente <br />
inhaltliche Kontrolle der verlinkten Seiten ist jedoch ohne konkrete Anhaltspunkte <br />
einer Rechtsverletzung nicht zumutbar. Bei bekannt werden von Rechtsverletzungen <br />
werden wir derartige Links umgehend entfernen.<br />
<br />
= Urheberrecht =<br />
Die durch die Seitenbetreiber erstellten Inhalte und Werke auf diesen Seiten <br />
unterliegen dem deutschen Urheberrecht. Beiträge Dritter sind als solche <br />
gekennzeichnet. Die Vervielfältigung, Bearbeitung, Verbreitung und <br />
jede Art der Verwertung außerhalb der Grenzen des Urheberrechtes bedürfen <br />
der schriftlichen Zustimmung des jeweiligen Autors bzw. Erstellers. Downloads <br />
und Kopien dieser Seite sind nur für den privaten, nicht kommerziellen <br />
Gebrauch gestattet.<br />
<br />
Die Betreiber der Seiten sind bemüht, stets die Urheberrechte anderer <br />
zu beachten bzw. auf selbst erstellte sowie lizenzfreie Werke zurückzugreifen.<br />
<br />
= Datenschutz =<br />
Soweit auf unseren Seiten personenbezogene Daten (beispielsweise Name, <br />
Anschrift oder eMail-Adressen) erhoben werden, erfolgt dies soweit möglich <br />
stets auf freiwilliger Basis. Die Nutzung der Angebote und Dienste ist, <br />
soweit möglich, stets ohne Angabe personenbezogener Daten möglich. <br />
<br />
Wir weisen darauf hin, dass die Datenübertragung im Internet (z.B. <br />
bei der Kommunikation per E-Mail) Sicherheitslücken aufweisen kann. <br />
Ein lückenloser Schutz der Daten vor dem Zugriff durch Dritte ist nicht <br />
möglich.<br />
<br />
Der Nutzung von im Rahmen der Impressumspflicht veröffentlichten Kontaktdaten <br />
durch Dritte zur Übersendung von nicht ausdrücklich angeforderter <br />
Werbung und Informationsmaterialien wird hiermit ausdrücklich widersprochen. <br />
Die Betreiber der Seiten behalten sich ausdrücklich rechtliche Schritte <br />
im Falle der unverlangten Zusendung von Werbeinformationen, etwa durch Spam-Mails, <br />
vor.<br />
<br />
<br />
----<br />
<br />
'''Quelle:''' eRecht24.de - [http://www.e-recht24.de Rechtsberatung von Rechtsanwalt] Sören Siebert</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:General_disclaimer&diff=349Termination-Portal.org:General disclaimer2008-04-09T12:06:23Z<p>Admin: Termination-Portal.org:General disclaimer moved to Termination-Portal.org:Impressum</p>
<hr />
<div>#REDIRECT [[Termination-Portal.org:Impressum]]</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=MediaWiki:Disclaimers&diff=347MediaWiki:Disclaimers2008-04-09T12:05:56Z<p>Admin: </p>
<hr />
<div>Disclaimers</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=MediaWiki:Disclaimers&diff=346MediaWiki:Disclaimers2008-04-09T12:03:12Z<p>Admin: New page: -</p>
<hr />
<div>-</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=MediaWiki:Privacy&diff=345MediaWiki:Privacy2008-04-09T12:02:56Z<p>Admin: New page: -</p>
<hr />
<div>-</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=MediaWiki:Aboutsite&diff=344MediaWiki:Aboutsite2008-04-09T12:02:20Z<p>Admin: New page: About {{SITENAME}} (Impressum)</p>
<hr />
<div>About {{SITENAME}} (Impressum)</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:About&diff=343Termination-Portal.org:About2008-04-09T11:24:48Z<p>Admin: Protected "Termination Portal:General disclaimer" [edit=sysop:move=sysop]</p>
<hr />
<div>= Haftung für Inhalte =<br />
Die Inhalte unserer Seiten wurden mit größter Sorgfalt erstellt. <br />
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte <br />
können wir jedoch keine Gewähr übernehmen.<br />
<br />
Als Diensteanbieter sind wir gemäß § 7 Abs.1 TMG für <br />
eigene Inhalte auf diesen Seiten nach den allgemeinen Gesetzen verantwortlich. <br />
Nach §§ 8 bis 10 TMG sind wir als Diensteanbieter jedoch nicht <br />
verpflichtet, übermittelte oder gespeicherte fremde Informationen zu <br />
überwachen oder nach Umständen zu forschen, die auf eine rechtswidrige <br />
Tätigkeit hinweisen. Verpflichtungen zur Entfernung oder Sperrung der <br />
Nutzung von Informationen nach den allgemeinen Gesetzen bleiben hiervon <br />
unberührt. Eine diesbezügliche Haftung ist jedoch erst ab dem <br />
Zeitpunkt der Kenntnis einer konkreten Rechtsverletzung möglich. Bei <br />
bekannt werden von entsprechenden Rechtsverletzungen werden wir diese Inhalte <br />
umgehend entfernen.<br />
<br />
= Haftung für Links =<br />
Unser Angebot enthält Links zu externen Webseiten Dritter, auf deren <br />
Inhalte wir keinen Einfluss haben. Deshalb können wir für diese <br />
fremden Inhalte auch keine Gewähr übernehmen. Für die Inhalte <br />
der verlinkten Seiten ist stets der jeweilige Anbieter oder Betreiber der <br />
Seiten verantwortlich. Die verlinkten Seiten wurden zum Zeitpunkt der Verlinkung <br />
auf mögliche Rechtsverstöße überprüft. Rechtswidrige <br />
Inhalte waren zum Zeitpunkt der Verlinkung nicht erkennbar. Eine permanente <br />
inhaltliche Kontrolle der verlinkten Seiten ist jedoch ohne konkrete Anhaltspunkte <br />
einer Rechtsverletzung nicht zumutbar. Bei bekannt werden von Rechtsverletzungen <br />
werden wir derartige Links umgehend entfernen.<br />
<br />
= Urheberrecht =<br />
Die durch die Seitenbetreiber erstellten Inhalte und Werke auf diesen Seiten <br />
unterliegen dem deutschen Urheberrecht. Beiträge Dritter sind als solche <br />
gekennzeichnet. Die Vervielfältigung, Bearbeitung, Verbreitung und <br />
jede Art der Verwertung außerhalb der Grenzen des Urheberrechtes bedürfen <br />
der schriftlichen Zustimmung des jeweiligen Autors bzw. Erstellers. Downloads <br />
und Kopien dieser Seite sind nur für den privaten, nicht kommerziellen <br />
Gebrauch gestattet.<br />
<br />
Die Betreiber der Seiten sind bemüht, stets die Urheberrechte anderer <br />
zu beachten bzw. auf selbst erstellte sowie lizenzfreie Werke zurückzugreifen.<br />
<br />
= Datenschutz =<br />
Soweit auf unseren Seiten personenbezogene Daten (beispielsweise Name, <br />
Anschrift oder eMail-Adressen) erhoben werden, erfolgt dies soweit möglich <br />
stets auf freiwilliger Basis. Die Nutzung der Angebote und Dienste ist, <br />
soweit möglich, stets ohne Angabe personenbezogener Daten möglich. <br />
<br />
Wir weisen darauf hin, dass die Datenübertragung im Internet (z.B. <br />
bei der Kommunikation per E-Mail) Sicherheitslücken aufweisen kann. <br />
Ein lückenloser Schutz der Daten vor dem Zugriff durch Dritte ist nicht <br />
möglich.<br />
<br />
Der Nutzung von im Rahmen der Impressumspflicht veröffentlichten Kontaktdaten <br />
durch Dritte zur Übersendung von nicht ausdrücklich angeforderter <br />
Werbung und Informationsmaterialien wird hiermit ausdrücklich widersprochen. <br />
Die Betreiber der Seiten behalten sich ausdrücklich rechtliche Schritte <br />
im Falle der unverlangten Zusendung von Werbeinformationen, etwa durch Spam-Mails, <br />
vor.<br />
<br />
<br />
----<br />
<br />
'''Quelle:''' eRecht24.de - [http://www.e-recht24.de Rechtsberatung von Rechtsanwalt] Sören Siebert</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination-Portal.org:About&diff=342Termination-Portal.org:About2008-04-09T11:24:14Z<p>Admin: New page: = Haftung für Inhalte = Die Inhalte unserer Seiten wurden mit größter Sorgfalt erstellt. Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte können wir jedoch keine Ge...</p>
<hr />
<div>= Haftung für Inhalte =<br />
Die Inhalte unserer Seiten wurden mit größter Sorgfalt erstellt. <br />
Für die Richtigkeit, Vollständigkeit und Aktualität der Inhalte <br />
können wir jedoch keine Gewähr übernehmen.<br />
<br />
Als Diensteanbieter sind wir gemäß § 7 Abs.1 TMG für <br />
eigene Inhalte auf diesen Seiten nach den allgemeinen Gesetzen verantwortlich. <br />
Nach §§ 8 bis 10 TMG sind wir als Diensteanbieter jedoch nicht <br />
verpflichtet, übermittelte oder gespeicherte fremde Informationen zu <br />
überwachen oder nach Umständen zu forschen, die auf eine rechtswidrige <br />
Tätigkeit hinweisen. Verpflichtungen zur Entfernung oder Sperrung der <br />
Nutzung von Informationen nach den allgemeinen Gesetzen bleiben hiervon <br />
unberührt. Eine diesbezügliche Haftung ist jedoch erst ab dem <br />
Zeitpunkt der Kenntnis einer konkreten Rechtsverletzung möglich. Bei <br />
bekannt werden von entsprechenden Rechtsverletzungen werden wir diese Inhalte <br />
umgehend entfernen.<br />
<br />
= Haftung für Links =<br />
Unser Angebot enthält Links zu externen Webseiten Dritter, auf deren <br />
Inhalte wir keinen Einfluss haben. Deshalb können wir für diese <br />
fremden Inhalte auch keine Gewähr übernehmen. Für die Inhalte <br />
der verlinkten Seiten ist stets der jeweilige Anbieter oder Betreiber der <br />
Seiten verantwortlich. Die verlinkten Seiten wurden zum Zeitpunkt der Verlinkung <br />
auf mögliche Rechtsverstöße überprüft. Rechtswidrige <br />
Inhalte waren zum Zeitpunkt der Verlinkung nicht erkennbar. Eine permanente <br />
inhaltliche Kontrolle der verlinkten Seiten ist jedoch ohne konkrete Anhaltspunkte <br />
einer Rechtsverletzung nicht zumutbar. Bei bekannt werden von Rechtsverletzungen <br />
werden wir derartige Links umgehend entfernen.<br />
<br />
= Urheberrecht =<br />
Die durch die Seitenbetreiber erstellten Inhalte und Werke auf diesen Seiten <br />
unterliegen dem deutschen Urheberrecht. Beiträge Dritter sind als solche <br />
gekennzeichnet. Die Vervielfältigung, Bearbeitung, Verbreitung und <br />
jede Art der Verwertung außerhalb der Grenzen des Urheberrechtes bedürfen <br />
der schriftlichen Zustimmung des jeweiligen Autors bzw. Erstellers. Downloads <br />
und Kopien dieser Seite sind nur für den privaten, nicht kommerziellen <br />
Gebrauch gestattet.<br />
<br />
Die Betreiber der Seiten sind bemüht, stets die Urheberrechte anderer <br />
zu beachten bzw. auf selbst erstellte sowie lizenzfreie Werke zurückzugreifen.<br />
<br />
= Datenschutz =<br />
Soweit auf unseren Seiten personenbezogene Daten (beispielsweise Name, <br />
Anschrift oder eMail-Adressen) erhoben werden, erfolgt dies soweit möglich <br />
stets auf freiwilliger Basis. Die Nutzung der Angebote und Dienste ist, <br />
soweit möglich, stets ohne Angabe personenbezogener Daten möglich. <br />
<br />
Wir weisen darauf hin, dass die Datenübertragung im Internet (z.B. <br />
bei der Kommunikation per E-Mail) Sicherheitslücken aufweisen kann. <br />
Ein lückenloser Schutz der Daten vor dem Zugriff durch Dritte ist nicht <br />
möglich.<br />
<br />
Der Nutzung von im Rahmen der Impressumspflicht veröffentlichten Kontaktdaten <br />
durch Dritte zur Übersendung von nicht ausdrücklich angeforderter <br />
Werbung und Informationsmaterialien wird hiermit ausdrücklich widersprochen. <br />
Die Betreiber der Seiten behalten sich ausdrücklich rechtliche Schritte <br />
im Falle der unverlangten Zusendung von Werbeinformationen, etwa durch Spam-Mails, <br />
vor.<br />
<br />
<br />
----<br />
<br />
'''Quelle:''' eRecht24.de - [http://www.e-recht24.de Rechtsberatung von Rechtsanwalt] Sören Siebert</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=MediaWiki:Sidebar&diff=290MediaWiki:Sidebar2008-03-31T15:08:12Z<p>Admin: </p>
<hr />
<div>* navigation<br />
** Home|Home<br />
** Category:News|News<br />
** Category:People|People<br />
** Category:Tools|Tools<br />
** Category:Bibtex|References<br />
* resources<br />
** WST|Workshop on Termination<br />
** WScT|Workshop on Certified Termination<br />
** Termination Competition|Termination Competition<br />
** Termtools|Termination Tools Mailing List</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Tools:AProVE&diff=260Tools:AProVE2008-03-30T17:33:32Z<p>Admin: </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 />
{{Tool<br />
|shortname=AProVE<br />
|longname=Automated Program Verification Environment<br />
|homepage=http://aprove.informatik.rwth-aachen.de<br />
|country=Germany<br />
|university=RWTH Aachen<br />
|developers=[[People:Jürgen Giesl|Jürgen Giesl]], [[People:René Thiemann|René Thiemann]], [[People:Peter Schneider-Kamp|Peter Schneider-Kamp]], Stephan Swiderski, [[People:Carsten Fuhs|Carsten Fuhs]] et al.<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Category:RWTH_Aachen&diff=259Category:RWTH Aachen2008-03-30T17:26:50Z<p>Admin: New page: [http://www.rwth-aachen.de RWTH Aachen]</p>
<hr />
<div>[http://www.rwth-aachen.de RWTH Aachen]</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Category:Germany&diff=258Category:Germany2008-03-30T17:26:24Z<p>Admin: New page: Germany.</p>
<hr />
<div>Germany.</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:TeReSe03&diff=257Bibtex:TeReSe032008-03-30T14:30:07Z<p>Admin: </p>
<hr />
<div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<bibtex><br />
@book{terese03,<br />
editor = {Marc Bezem, Jan Willem Klop, Roel de Vrijer},<br />
title = {Term Rewriting Seminar -- Terese},<br />
publisher = {Cambridge University Press},<br />
year = {2003}<br />
}<br />
</bibtex></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:SGST06&diff=256Bibtex:SGST062008-03-30T14:30:00Z<p>Admin: </p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<bibtex><br />
<!-- Please add the BibTeX data below this comment. --><br />
@inproceedings{LOPSTR06,<br />
AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},<br />
TITLE = {Automated Termination Analysis for Logic Programs by Term Rewriting},<br />
BOOKTITLE = {LOPSTR~'06},<br />
YEAR = {2007},<br />
SERIES = {Lecture Note in Computer Science},<br />
VOLUME = {4407},<br />
PAGES = {177--193},<br />
PUBLISHER = {Springer},<br />
ADDRESS = {Heidelberg}<br />
}<br />
</bibtex><!-- If you want to add some personal data to the reference page, you can do so after this comment. --></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Ohlebusch02&diff=255Bibtex:Ohlebusch022008-03-30T14:29:53Z<p>Admin: </p>
<hr />
<div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<bibtex><br />
@book{ohlebusch02,<br />
author = {Enno Ohlebusch},<br />
title = {Advanced Topics in Term Rewriting},<br />
publisher = {Springer},<br />
address = {New York},<br />
year = {2002}<br />
}<br />
</bibtex></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Ohlebusch01&diff=254Bibtex:Ohlebusch012008-03-30T14:29:47Z<p>Admin: </p>
<hr />
<div>[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<bibtex><br />
<!-- Please add the BibTeX data below this comment. --><br />
@article{Ohlebusch01,<br />
AUTHOR = {E. Ohlebusch},<br />
TITLE = {Termination of Logic Programs: Transformational Methods Revisited},<br />
JOURNAL = {Applicable Algebra in Engineering, Communication and Computation},<br />
VOLUME = {12},<br />
NUMBER = {1--2},<br />
PAGES = {73--116},<br />
YEAR = {2001},<br />
PUBLISHER = {Springer},<br />
ADDRESS = {Heidelberg},<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:MORV05&diff=253Bibtex:MORV052008-03-30T14:29:38Z<p>Admin: </p>
<hr />
<div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<bibtex><br />
@book{morv05,<br />
editor = {Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer},<br />
title = {Processec, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to Jan Willem Klop on the Occasion on His 60th Birthday},<br />
number = {LNCS3838},<br />
series = {Festschrift},<br />
publisher = {Springer--Verlag},<br />
address = {Berlin Heidelberg},<br />
year = {2005}<br />
}<br />
</bibtex></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Kurth90&diff=252Bibtex:Kurth902008-03-30T14:29:32Z<p>Admin: </p>
<hr />
<div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<bibtex><br />
@phdthesis{kurth90,<br />
author = {Winfried Kurth},<br />
title = {Termination und Konfluenz von Semi--Thue--Systemen mit nur einer Regel},<br />
school = {Technische Universität Clausthal}<br />
year = {1990}<br />
}<br />
</bibtex></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Drosten89&diff=251Bibtex:Drosten892008-03-30T14:29:26Z<p>Admin: </p>
<hr />
<div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<bibtex><br />
@book{drosten89,<br />
author = {Klaus Drosten},<br />
title = {Termersetzungssysteme},<br />
number = {210},<br />
series = {Informatik--Fachberichte},<br />
publisher = {Springer--Verlag},<br />
address = {Berlin Heidelberg},<br />
year = {1989}<br />
}<br />
</bibtex></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Buendgen98&diff=250Bibtex:Buendgen982008-03-30T14:29:20Z<p>Admin: </p>
<hr />
<div>[[Category:Bibtex| ]]<br />
== BibTex ==<br />
<bibtex><br />
@book{buendgen98,<br />
author = {Reinhard Bündgen},<br />
title = {Termersetzungssysteme; Theorie, Implementierung, Anwendung},<br />
publisher = {Vieweg},<br />
year = {1998}<br />
}<br />
</bibtex></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Template:AddReference&diff=249Template:AddReference2008-03-30T14:29:05Z<p>Admin: </p>
<hr />
<div><includeonly><br />
[[Category:Bibtex| ]]<br />
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --><br />
== BibTex ==<br />
<bibtex><br />
<!-- Please add the BibTeX data below this comment. --><br />
<br />
<br />
<br />
<br />
<br />
</bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --><br />
</includeonly></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=News:Termination_Portal_Online&diff=247News:Termination Portal Online2008-03-30T13:48:43Z<p>Admin: </p>
<hr />
<div><!--<br />
Please insert the corresponding information below so that<br />
the news page can be generated automatically.<br />
<br />
Line breaks are allowed! You may use MediaWiki syntax here to link to articles, highlight text, ...<br />
Please add some date to the news entry (e.g. today's date for current news, a time period for the competition, ....).<br />
Example:<br />
|text = The [[WST]] takes place in [http://en.wikipedia.org/wiki/Juneau Juneau] this year!<br />
|date = Sept 8th to Nov 1st<br />
--><br />
<br />
{{News<br />
|text=The Termination Portal is online for testing. Please find and report any bugs (except for the ants).<br />
<br />
Note: Replace "Firstname Lastname" or "Tool Name" by your name or the name of your tool for correct listing.<br />
|date=Mar 29, 2008<br />
}}</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Tools:Rainbow&diff=245Tools:Rainbow2008-03-30T13:45:49Z<p>Admin: Tools:Tool Name moved to Tools:Rainbow</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 />
<br />
{{Tool<br />
|shortname=Rainbow<br />
|longname=Termination proof certifier<br />
|homepage=http://color.loria.fr/<br />
|country=France and The Netherlands<br />
|university=INRIA and Eindhoven University of Technology<br />
|developers=Frederic Blanqui and Adam Koprowski<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Tools:Tool_Name&diff=246Tools:Tool Name2008-03-30T13:45:49Z<p>Admin: Tools:Tool Name moved to Tools:Rainbow</p>
<hr />
<div>#REDIRECT [[Tools:Rainbow]]</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=People:Frederic_Blanqui&diff=243People:Frederic Blanqui2008-03-30T13:42:57Z<p>Admin: People:Firstname Lastname moved to People:Frederic Blanqui</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=Frederic<br />
|middlenames=<br />
|lastname=Blanqui<br />
|titles=<br />
|email=<br />
|homepage=http://www.loria.fr/~blanqui/<br />
|country=France<br />
|university=INRIA<br />
|department=<br />
|role=Researcher <!-- role: Student, Professor, PhD Student, ... --><br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:Ohlebusch01&diff=206Bibtex:Ohlebusch012008-03-29T21:30:53Z<p>Admin: </p>
<hr />
<div><bibtex><br />
<!-- Please add the BibTeX data below this comment. --><br />
@article{Ohlebusch01,<br />
AUTHOR = {E. Ohlebusch},<br />
TITLE = {Termination of Logic Programs: Transformational Methods Revisited},<br />
JOURNAL = {Applicable Algebra in Engineering, Communication and Computation},<br />
VOLUME = {12},<br />
NUMBER = {1--2},<br />
PAGES = {73--116},<br />
YEAR = {2001},<br />
PUBLISHER = {Springer},<br />
ADDRESS = {Heidelberg},<br />
</bibtex><br />
[[Category:Bibtex]]<br />
[[Category:BibtexNews]] <!-- remove this line if this is not a new publication --><br />
<!-- If you want to add some additional information to the reference page, you can do so after this comment. --></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=194Termination Portal2008-03-29T19:04:31Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =class="wikitable",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =class="wikitable",Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=193Termination Portal2008-03-29T19:04:18Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =border="2" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =class="wikitable",Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=MediaWiki:Common.css&diff=192MediaWiki:Common.css2008-03-29T19:03:56Z<p>Admin: New page: /* CSS placed here will be applied to all skins */ /* wikitable/prettytable class for skinning normal tables */ table.wikitable, table.prettytable { margin: 1em 1em 1em 0; backgrou...</p>
<hr />
<div>/* CSS placed here will be applied to all skins */<br />
/* wikitable/prettytable class for skinning normal tables */<br />
table.wikitable,<br />
table.prettytable {<br />
margin: 1em 1em 1em 0;<br />
background: #f9f9f9;<br />
border: 1px #aaa solid;<br />
border-collapse: collapse;<br />
}<br />
<br />
table.wikitable th, table.wikitable td,<br />
table.prettytable th, table.prettytable td {<br />
border: 1px #aaa solid;<br />
padding: 0.2em;<br />
}<br />
<br />
table.wikitable th,<br />
table.prettytable th {<br />
background: #f2f2f2;<br />
text-align: center;<br />
}<br />
<br />
table.wikitable caption,<br />
table.prettytable caption {<br />
margin-left: inherit;<br />
margin-right: inherit;<br />
font-weight: bold;<br />
}<br />
<br />
table.prettytable code,<br />
table.wikitable code {<br />
background-color: transparent;<br />
}<br />
<br />
/* default skin for navigation boxes */<br />
table.navbox {<br />
background-color: #f9f9f9;<br />
border: 1px solid #aaa;<br />
clear: both;<br />
font-size: 90%;<br />
margin: 1em 0em 0em;<br />
padding: 2px;<br />
text-align: center;<br />
width: 100%;<br />
}<br />
<br />
table.navbox th {<br />
background-color: #ccf;<br />
padding-left: 1em;<br />
padding-right: 1em;<br />
}</div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=191Termination Portal2008-03-29T19:00:56Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =border="2" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =border=1,Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=189Termination Portal2008-03-29T18:57:24Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =border="2" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =border="2" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =border=1,Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=188Termination Portal2008-03-29T18:57:17Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =border="2" width="100%" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =border="2" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =border=1,Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=187Termination Portal2008-03-29T18:56:13Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =border="2" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =border=1,Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=186Termination Portal2008-03-29T18:55:46Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =border="2" width="100%" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =class="table",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =,Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =border=1,Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=185Termination Portal2008-03-29T18:46:25Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =class="wikitable",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =class="table",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =,Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =border=1,Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=184Termination Portal2008-03-29T18:40:27Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage={News}:date:text<br />
format =,,\n,<br />
table =class="wikitable",Caption,Date,Text<br />
tablerow =|%%<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =border=1,Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Template:AddNews&diff=183Template:AddNews2008-03-29T18:35:31Z<p>Admin: </p>
<hr />
<div><includeonly><br />
<!--<br />
Please insert the corresponding information below so that<br />
the news page can be generated automatically.<br />
<br />
Line breaks are allowed! You may use MediaWiki syntax here to link to articles, highlight text, ...<br />
Please add some date to the news entry (e.g. today's date for current news, a time period for the competition, ....).<br />
Example:<br />
|text = The [[WST]] takes place in [http://en.wikipedia.org/wiki/Juneau Juneau] this year!<br />
|date = Sept 8th to Nov 1st<br />
--><br />
<br />
{{News<br />
|text=<br />
|date=<br />
}}<br />
</includeonly></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Template:News&diff=181Template:News2008-03-29T18:34:38Z<p>Admin: </p>
<hr />
<div>=== {{{date}}} ===<br />
{{{text}}}<br />
<includeonly><br />
[[Category:News]]<br />
</includeonly></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Template:AddNews&diff=179Template:AddNews2008-03-29T18:33:54Z<p>Admin: </p>
<hr />
<div><includeonly><br />
<!--<br />
Please insert the corresponding information below so that<br />
the news page can be generated automatically.<br />
<br />
Line breaks are allowed! You may use MediaWiki syntax here to link to articles, highlight text, ...<br />
Please add some date to the news entry (e.g. today's date for current news, a time period for the competition, ....).<br />
Example:<br />
|text = The [[WST]] takes place in [[http://en.wikipedia.org/wiki/Juneau Juneau]] this year!<br />
|date = Sept 8th to Nov 1st<br />
--><br />
<br />
{{News<br />
|text=<br />
|date=<br />
}}<br />
</includeonly></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Termination_Portal&diff=176Termination Portal2008-03-29T18:27:53Z<p>Admin: </p>
<hr />
<div>= Welcome =<br />
Termination is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated methods have successfully been developed that prove termination or non-termination in practical cases.<br />
Research in termination analysis offers many challenges both in theory (mathematical logic, proof theory) and practice (software development, formal methods).<br />
<br />
This portal aims to provide the research community with up-to-date information about the field<br />
of termination analysis.<br />
The main sections are [[:Category:People|People]] (information about researchers in termination analysis),<br />
[[:Category:News|News]] (information about events and new publications),<br />
[[:Category:Tools|Tools]] (information about tools for automated termination analysis), and<br />
[[:Category:References|References]] (publications related to termination analysis). <br />
Additionally, the portal provide information about past and future [[WST|workshops]] and [[Termination Competition|competitions]].<br />
<br />
=Recent News=<br />
<br />
<dpl><br />
category=News<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
addfirstcategorydate=true<br />
</dpl><br />
<br />
=New Publications=<br />
<dpl><br />
category=BibtexNews<br />
shownamespace=false<br />
count=10<br />
ordermethod=lastedit<br />
order=descending<br />
includepage=%0[100]<br />
format =,,\n,<br />
table =border=1,Name,Content<br />
tablerow =|%%<br />
</dpl></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Bibtex:SGST06&diff=175Bibtex:SGST062008-03-29T18:24:41Z<p>Admin: </p>
<hr />
<div><bibtex><br />
<!-- Please add the BibTeX data below this comment. --><br />
<br />
<br />
@inproceedings{LOPSTR06,<br />
AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},<br />
TITLE = {{Automated Termination Analysis for Logic Programs by Term Rewriting}},<br />
BOOKTITLE = {LOPSTR~'06},<br />
YEAR = {2007},<br />
SERIES = lncs,<br />
VOLUME = {4407},<br />
PAGES = {177--193}<br />
}<br />
<br />
<br />
</bibtex><br />
<br />
[[Category:Bibtex]]<br />
[[Category:BibtexNews]] <!-- remove this line if this is not a new publication --><br />
<br />
<!-- If you want to add some personal data to the reference page, you can do so after this comment. --></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=Template:AddReference&diff=174Template:AddReference2008-03-29T18:24:30Z<p>Admin: </p>
<hr />
<div><includeonly><br />
<br />
<bibtex><br />
<!-- Please add the BibTeX data below this comment. --><br />
<br />
<br />
<br />
<br />
<br />
</bibtex><br />
<br />
[[Category:Bibtex]]<br />
[[Category:BibtexNews]] <!-- remove this line if this is not a new publication --><br />
<br />
<!-- If you want to add some additional information to the reference page, you can do so after this comment. --><br />
</includeonly></div>Adminhttp://termination-portal.org/mediawiki/index.php?title=People:J%C3%BCrgen_Giesl&diff=173People:Jürgen Giesl2008-03-29T18:03:12Z<p>Admin: Reverted edits by Admin (Talk); changed back to last version by Nowonder</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=Jürgen<br />
|middlenames=<br />
|lastname=Giesl<br />
|titles=<br />
|email=giesl@informatik.rwth-aachen.de<br />
|homepage=http://verify.rwth-aachen.de/giesl/<br />
|country=Germany<br />
|university=RWTH Aachen<br />
|department=Research Group Computer Science 2<br />
|role=Professor <!-- role: Student, Professor, PhD Student, ... --><br />
}}<br />
<br />
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --></div>Admin