A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
Author: | Heinz Faßbender, Sebastian Maneth |
---|---|
ISBN: | 3-540-61735-3 |
Parent Title (English): | Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.) |
Publisher: | Springer |
Place of publication: | Berlin [u.a.] |
Document Type: | Article |
Language: | English |
Year of Completion: | 1996 |
Length: | VIII, 344 S. : graph. Darst. |
First Page: | 194 |
Last Page: | 208 |
Note: | (Lecture notes in computer science ; 1139) |
Link: | http://dx.doi.org/10.1007/3-540-61735-3_13 |
Zugriffsart: | campus |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |