Exploració per tema "Lambda calculus"
Ara es mostren els items 1-1 de 1
-
Unification and matching on compressed terms
(2011-07-29)
Article
Accés restringit per política de l'editorialTerm unification plays an important role in many areas of computer science, especially in those related to logic. The universal mechanism of grammar-based compression for terms, in particular the so-called singleton tree ...