Artikel

Arts, Thomas ; Giesl, J. (2000)
Termination of term rewriting using dependency pairs.
In: Theoretical computer science, 236
Artikel, Bibliographie

Konferenzveröffentlichung

Bubel, Richard ; Hähnle, Reiner
Hrsg.: Arts, Thomas ; Fokkink, Wan (2003)
Formal Specification of Security-Critical Railway Software with the KeY System.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (1999)
Applying rewriting techniques to the verification of Erlang processes.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (1998)
Modularity of termination using dependency pairs.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (1997)
Automatically proving termination where simplification orderings fail.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (1997)
Proving innermost normalisation automatically.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (1996)
Termination of constructor systems.
Konferenzveröffentlichung, Bibliographie