Jörg Endrullis - Veröffentlichungen allgemein

(1 - 7 von 7

)

Matrix Interpretations for Proving Termination of Term Rewriting |...

link.springer.com

We present a new method for automatically proving termination of term rewriting. It is based on the well-known idea of interpretation of terms where every...

TCM-July Termination-Portal.org

termination-portal.org

· SN infinity (Hans Zantema, Jörg Endrullis) Discussion: no consensus. Possibility of extending the current TPDB problem format by allowing top/non-top, strict/non-strict rules. This would allow to do some SN-infinity proofs (after a transformation). (Note: this had already been discussed at Nancy workshop.) we have more categories than people?

Verwandte Suchanfragen zu Jörg Endrullis

Clemens Grabmayer
Johannes Waldmann

Personen
Vorname "Jörg" (43136)
Name "Endrullis" (10)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Jörg Endrullis

Matrix Interpretations for Proving Termination of Term Rewriting |...

TCM-July Termination-Portal.org

Clocks for Functional Programs | SpringerLink

Outermost - Termination-Portal.org

Degrees of Undecidability in Term Rewriting | SpringerLink

Tools:Jambox - Termination-Portal.org

Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer...