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 |
| Date of the Publication (Server): | 2012/12/18 |
| 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 |
