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 |
| Date of the Publication (Server): | 2012/12/18 |
| Link: | http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/1998.html |
| Zugriffsart: | weltweit |
| Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
