Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - H
67,84 €
Safe folding/unfolding with conditional narrowing. - Parallelizing functional programs by generalization. - Higher-order equational unification via explicit substitutions. - Higher-order lazy narrowing calculus: A computation model for a higher-order functional logic language.
Jetzt bei Ebay:
