Extra Variables Can Be Eliminated from Functional Logic Programs
- de Dios Castro, J.
- López-Fraguas, F.J.
Revue:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Année de publication: 2007
Volumen: 188
Pages: 3-19
Type: Article