A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
| Author: | Heinz Faßbender, Heiko Vogler |
|---|---|
| Parent Title (English): | Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.) |
| Publisher: | RWTH, Fachgruppe Informatik |
| Place of publication: | Aachen |
| Document Type: | Article |
| Language: | English |
| Year of Completion: | 1991 |
| Date of the Publication (Server): | 2012/12/18 |
| Length: | III, 231 S. : graph. Darst. |
| First Page: | 95 |
| Last Page: | 96 |
| Link: | http://stuff.mit.edu/afs/athena/contrib/techreports/ftp.informatik.rwth-aachen.de/german/91-01.ps.Z |
| Zugriffsart: | weltweit |
| Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
