A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
Author: | Heinz Faßbender, Sebastian Maneth |
---|---|
ISBN: | 1080-5230 |
Parent Title (English): | Journal of functional and logic programming. 1998 (1998), H. 4 |
Document Type: | Article |
Language: | English |
Year of Completion: | 1998 |
Link: | http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/1998.html |
Zugriffsart: | weltweit |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |