TU Darmstadt / ULB / TUbiblio

Termination Analysis for Functional Programs

Giesl, Jürgen and Walther, Christoph and Brauburger, J. Bibel, Wolfgang (ed.) (1998):
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Bd. 3, Dordrecht, Kluwer Acad. Publ, pp. 135-164, DOI: 10.1007/978-94-017-0437-3,
[Book Section]

Item Type: Book Section
Erschienen: 1998
Editors: Bibel, Wolfgang
Creators: Giesl, Jürgen and Walther, Christoph and Brauburger, J.
Title: Termination Analysis for Functional Programs
Language: English
Title of Book: Automated deduction: a basis for applications. Bd. 3
Volume: 10
Place of Publication: Dordrecht
Publisher: Kluwer Acad. Publ
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Date Deposited: 19 Nov 2008 16:20
DOI: 10.1007/978-94-017-0437-3
Additional Information:

ULB-Bestand / Signatur ST304 B581 A939 -3

License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item