Sergio Antoy, Rachid Echahed and Michael Hanus: A Needed Narrowing Strategy. In: Journal of the ACM. Band47, Nr.4. ACM, 2007, ISSN0004-5411, S.776–822, doi:10.1145/347476.347484 (acm.org).
doi.org
Sergio Antoy, Rachid Echahed and Michael Hanus: A Needed Narrowing Strategy. In: Journal of the ACM. Band47, Nr.4. ACM, 2007, ISSN0004-5411, S.776–822, doi:10.1145/347476.347484 (acm.org).
Sergio Antoy and Michael Hanus: Declarative Programming with Function Patterns, LOPSTR 2005 doi:10.1007/11680093_2
Sergio Antoy and Michael Hanus: Overlapping Rules and Logic Variables in Functional Logic Programs, International Conference on Logic Programming 2006 doi:10.1007/11799573_9
zdb-katalog.de
Sergio Antoy, Rachid Echahed and Michael Hanus: A Needed Narrowing Strategy. In: Journal of the ACM. Band47, Nr.4. ACM, 2007, ISSN0004-5411, S.776–822, doi:10.1145/347476.347484 (acm.org).