Walther, Christoph
Hölldobler, S. (ed.) (2000):
Criteria for termination.
In: Intellectics and computational logic: Papers in honor of Wolfgang Bibel, pp. 361-386, Dordrecht (u.a.), Kluwer Academic, DOI: 10.1007/978-94-015-9383-0,
[Book Section]
Item Type: | Book Section |
---|---|
Erschienen: | 2000 |
Editors: | Hölldobler, S. |
Creators: | Walther, Christoph |
Title: | Criteria for termination |
Language: | English |
Book Title: | Intellectics and computational logic: Papers in honor of Wolfgang Bibel |
Place of Publication: | Dordrecht (u.a.) |
Publisher: | Kluwer Academic |
Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Programming Methodology |
Date Deposited: | 19 Nov 2008 15:56 |
DOI: | 10.1007/978-94-015-9383-0 |
Additional Information: | ULB-Bestand / Signatur CC2600 B581 |
License: | [undefiniert] |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |