TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Deutsch | Englisch
Anzahl der Einträge: 7.

Deutsch

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. (1997)
Automatically proving termination where simplification orderings fail.
Konferenzveröffentlichung, Bibliographie

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

Englisch

Arts, Thomas ; Giesl, J. (2000)
Termination of term rewriting using dependency pairs.
In: Theoretical computer science, 236
Artikel, 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. (1996)
Termination of constructor systems.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:40:15 2024 CET generiert.