TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

Giesl, Jürgen ; Middeldorp, A. :
Eliminating dummy elimination.
In: CADE-17: International Conference on Automated Deduction <17, 2000, Pittsburgh, PA>: Proceedings. - Berlin (u.a.): Springer, 2000 = Lecture notes in artifical intelligence; 1831. S. 309-323 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (2000)

Giesl, Jürgen :
Context-moving transformations for function verification.
In: LOPSTR'99: International workshop on Logic-based Program Synthesis and Transformation <9, 1999, Venice>: Proceedings. - Berlin (u.a.): Springer, 2000 = Lecture notes in computer science; 1817. S. 293-312 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1999)

Giesl, Jürgen :
Mechanized verification of imperative and functional programs.
Technische Univ. Darmstadt , Darmstadt
[Habilitation], (1999)

Giesl, Jürgen ; Middeldorp, A. :
Transforming context-sensitive rewrite systems.
In: RTA'99: Rewriting techniques and applications: 10th International Conference ; 1999 Trento, Italy ; Proceedings. Hrsg.: P. Narendran. - Berlin (u.a.): Springer, 1999. S. 271-285 (Lecture notes in computer science; 1631) . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1999)

Giesl, Jürgen ; Walther, ; Brauburger, J. :
Termination analysis for functional programs.
In: Automated deduction: a basis for applications. Bd. 3. Hrsg.: W. Bibel (u.a.) - Dordrecht: Kluwer Acad. Publ.,1998. S. 135-164. Kluwer Acad. Publ, Dordrecht
[Buchkapitel], (1998)

Giesl, Jürgen :
Termination of nested and mutually recursive algorithms.
In: Journal of automated reasoning. 19 (1997), S. 1-29
[Artikel], (1997)

Giesl, Jürgen :
Proving partial correctness of partial functions.
In: Workshop on Mechanization of Partial Functions held in conjunction with: International Conference on Automated Deduction <13, 1996, New Brunswick., NJ>: Proceedings. S. 33-38 .
[Konferenz- oder Workshop-Beitrag], (1996)

Giesl, Jürgen :
Automated termination proofs with measure functions.
In: German Annual Conference on Artificial Intelligence <19, 1995, Bielefeld>: Proceedings. - Berlin, Heidelberg (u.a.):Springer, 1995. S. 149-160 , 981 . Springer , Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1995)

Giesl, Jürgen :
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen.
Infix , St. Augustin
[Dissertation]

Giesl, Jürgen :
Generating polynomial orderings for termination proofs.
In: International Conference on Rewriting Techniques and Applications <6, 1995, Kaiserlautern>: Proceedings. - Berlin, Heidelberg (u.a.): Springer, 1995. S. 426-431 , 914 . Springer , Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1995)

Giesl, Jürgen :
Termination analysis for functional programs using term orderings.
In: International static analysis symposium <2, 1995, Glasgow>: Proceedings. - Berlin, Heidelberg (u.a.):Springer, 1995. S. 154-171 , 983 . Springer , Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1995)

Diese Liste wurde am Tue Nov 21 06:53:04 2017 CET generiert.