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 and Hähnle, Reiner
Arts, Thomas and Fokkink, Wan (eds.) (2003):
Formal Specification of Security-Critical Railway Software with the KeY System.
In: Proc. Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), Elsevier, In: Electronic Notes in Theoretical Computer Science, 80, [Conference or Workshop Item]

Arts, Thomas and Giesl, J. (2000):
Termination of term rewriting using dependency pairs.
In: Theoretical computer science, pp. 133-178, 236, [Article]

Arts, Thomas and Giesl, J. (1999):
Applying rewriting techniques to the verification of Erlang processes.
Berlin (u.a.), Springer, In: CSL'99: Annual Conference of the European Association for Computer Science Logic <1999, Madrid>; Proceedings. S. 96-110. - Berlin (u.a.): Springer, 1999 (Lecture notes in computer science; 1683), [Conference or Workshop Item]

Arts, Thomas and Giesl, J. (1998):
Modularity of termination using dependency pairs.
Berlin (u.a.), Springer, In: RTA'98: International Conference on Rewriting Techniques and Applications <9, 1998, Tsukuba, Japan>: Proceedings. - Berlin (u.a.): Springer, 1998. S. 226-240, 1379, [Conference or Workshop Item]

Arts, Thomas and Giesl, J. (1997):
Automatically proving termination where simplification orderings fail.
Berlin, Heidelberg (u.a.), Springer, In: International Joint Conference on Theory and Practice of Software Development <7, 1997, Lille, France>: Proceedings. - Berlin (u.a.): Springer, 1997. S. 261-272, 1214, [Conference or Workshop Item]

Arts, Thomas and Giesl, J. (1997):
Proving innermost normalisation automatically.
Berlin, Heidelberg (u.a.), Springer, In: International Conference on Rewriting Techniques and Applications <8, 1997, Sitges, Spain>: Proceedings. - Berlin (u.a.): Springer, 1997. S. 157-171, 1232, [Conference or Workshop Item]

Arts, Thomas and Giesl, J. (1996):
Termination of constructor systems.
Berlin (u.a.), Springer, In: International Conference on Rewriting Techniques and Applications RTA'96 <7, 1996, New Brunswick, NJ>: Proceedings. - Berlin (u.a.): Springer, 1996. S. 63-77, 1103, [Conference or Workshop Item]

This list was generated on Tue Oct 15 01:34:14 2019 CEST.