TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 11.

Duffy, David A. ; Giesl, J. :
Closure induction in a Z-like language.
In: ZB2000: International Conference of Z and B Users <2000, York>: Proceedings. - Berlin (u.a.): Springer, 2000 = Lecture notes in computer science; 1878. S. 471-490 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (2000)

Ohsaki, Hitoshi ; Middeldorp, A. ; Giesl, J. :
Equational termination by semantic labelling.
In: CSL'00: Annual Conference of the European Association for Computer Science Logic <2000, Fischbachau/München>: Proceedings. - Berlin (u.a.): Springer, 2000 = Lecture notes in computer science; 1862. S. 457-471 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (2000)

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

Arts, Thomas ; Giesl, J. :
Applying rewriting techniques to the verification of Erlang processes.
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) . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1999)

Brauburger, Jürgen ; Giesl, J. :
Approximating the domains of functional and imperative programs.
In: Science of computer programming, 35 pp. 113-136.
[Artikel], (1999)

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

Brauburger, Jürgen ; Giesl, J. :
Termination analysis by inductive evaluation.
In: CADE'98: International Conference on Automated Deduction <15, 1998, Lindau>: Proceedings. Hrsg.: C. Kirchner (u.a.) - Berlin (u.a.): Springer, 1998. S. 254-269 , 1421 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1998)

Arts, Thomas ; Giesl, J. :
Automatically proving termination where simplification orderings fail.
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 . Springer , Berlin, Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1997)

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

Brauburger, Jürgen ; Giesl, J. :
Termination analysis for partial functions.
In: International Static Analysis Symposium SAS'96 <3, 1996, Aachen, Germany>: Proceedings. - Berlin (u.a.): Springer, 1996. S. 113-127 , 1145 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1996)

Arts, Thomas ; Giesl, J. :
Termination of constructor systems.
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 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1996)

Diese Liste wurde am Tue Sep 19 07:51:54 2017 CEST generiert.