Jörg Endrullis - Wissenschaftliche Veröffentlichungen

(1 - 11 von 11

)

TeReSe Meeting, April 29, 2016

verify.rwth-aachen.de

Jörg Endrullis: Non-Termination by Finite Automata We present a technique for proving looping and non-looping non-termination of term rewriting. Our technique employs finite automata to describe a regular tree language such that every term in the language permits some rewrite step to a term in the language.

dblp: Jörg Endrullis

dblp.uni-trier.de

List of computer science publications by Jörg Endrullis

Seminar der AG Automaten und formale Sprachen

www.informatik.uni-leipzig.de

Forschungsseminar Theoretische Informatik der Arbeitsgruppen « Automaten und Sprachen» & «Algebraische und logische Grundlagen der Informatik» ... Jörg Endrullis, Johannes Waldmann, Hans Zantema: Matrix Interpretations for Proving Termination of Term Rewriting. J. …

dblp: CoRR July 2012

dblp.org

Bibliographic content of CoRR July 2012

TeReSe Meeting, November 18, 2005

verify.rwth-aachen.de

Jörg Endrullis: Match-Bounded String Rewriting: Proving termination with match-bounded string rewriting Finite automata that certify the termination of string ...

dblp: BibTeX records: Jörg Endrullis

dblp.uni-trier.de

List of computer science publications by BibTeX records: Jörg Endrullis

Combinatorics on Words 10th International Conference WORDS ...

macau.uni-kiel.de

In addition to the contributed talks, the conference program included six invited talks given by leading experts in the areas covered by the WORDS conference: Jörg Endrullis (Amsterdam), Markus Lohrey (Siegen), Jean Néraud (Rouen), Dominique Perrin (Paris), Michaël Rao (Lyon), Thomas Stoll (Nancy).

TeReSe Meeting, May 28, 2010

verify.rwth-aachen.de

May 28, Aachen, Germany Important Dates - Practical Information - Preliminary Schedule - Abstracts This talk is based on joint work with Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, and Vincent van Oostrom. Johannes Waldmann: Tropical Termination:

Jörg Endrullis - DBLPdblp.uni-trier.de › Jörg Endrullis

dblp.uni-trier.de

· Jörg Endrullis, Jeffrey O. Shallit, Tim Smith : Undecidability and Finite Automata. DLT 2017: text to speech.

RTA 2012: First Call For Papers from Michael Hanus on

www.informatik.uni-kiel.de

* Jörg Endrullis Vrije Universiteit Amsterdam * Silvio Ghilardi Università degli Studi di Milano * Guillem Godoy Universidad Politécnica de Cataluña * Nao Hirokawa Japan Advanced Institute of Science and Technology * Deepak Kapur University of New Mexico, Albuquerque, NM

dblp: Jan Willem Klop

dblp.uni-trier.de

List of computer science publications by Jan Willem Klop

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

Wissenschaftliche Veröffentlichungen Jörg Endrullis