A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
| Verfasserangaben: | Heinz Faßbender, Sebastian Maneth |
|---|---|
| ISBN: | 1080-5230 |
| Titel des übergeordneten Werkes (Englisch): | Journal of functional and logic programming. 1998 (1998), H. 4 |
| Dokumentart: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1998 |
| Datum der Publikation (Server): | 18.12.2012 |
| Link: | http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/1998.html |
| Zugriffsart: | weltweit |
| Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
