TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Number of items: 2.
Walther, Christoph
ed.: Hölldobler, S. (2000)
Criteria for termination.
In: Intellectics and computational logic: Papers in honor of Wolfgang Bibel
doi: 10.1007/978-94-015-9383-0
Book Section, Bibliographie
Hölldobler, S. ; Thielscher, (1995)
Computing change and specifity with equational logic programs.
In: Annals of mathematics and artificial intelligence. 14 (1995), S. 99-133
Article, Bibliographie