TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Buchkapitel
Giesl, Jürgen ; Walther, Christoph ; Brauburger, J.
Hrsg.: Bibel, Wolfgang (1998)
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Volume III Applications
doi: 10.1007/978-94-017-0437-3
Buchkapitel, Bibliographie