Now showing items 1-1 of 1

  • Unification and matching on compressed terms 

    Gascón Caro, Adrià; Godoy Balil, Guillem; Schmidt-Schauß, Manfred (2011-07-29)
    Article
    Restricted access - publisher's policy
    Term 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 ...