TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

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]

Hölldobler, S. and Thielscher, (1995):
Computing change and specifity with equational logic programs.
In: Annals of mathematics and artificial intelligence. 14 (1995), S. 99-133, [Article]

This list was generated on Sat Dec 5 00:30:47 2020 CET.