TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Bubel, Richard ; Hähnle, Reiner
eds.: Arts, Thomas ; Fokkink, Wan (2003)
Formal Specification of Security-Critical Railway Software with the KeY System.
Conference or Workshop Item, Bibliographie

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

Arts, Thomas ; Giesl, J. (1999)
Applying rewriting techniques to the verification of Erlang processes.
Conference or Workshop Item, Bibliographie

Arts, Thomas ; Giesl, J. (1998)
Modularity of termination using dependency pairs.
Conference or Workshop Item, Bibliographie

Arts, Thomas ; Giesl, J. (1997)
Automatically proving termination where simplification orderings fail.
Conference or Workshop Item, Bibliographie

Arts, Thomas ; Giesl, J. (1997)
Proving innermost normalisation automatically.
Conference or Workshop Item, Bibliographie

Arts, Thomas ; Giesl, J. (1996)
Termination of constructor systems.
Conference or Workshop Item, Bibliographie

This list was generated on Sat Apr 13 01:45:20 2024 CEST.