Now showing items 1-1 of 1

    • Unification on Compressed Terms 

      Gascón, Adrià (Universitat Politècnica de Catalunya, 2009-09)
      Master thesis
      Open Access
      First-order term unification is an essential concept in areas like functional and logic programming, automated deduction, deductive databases, artificial intelligence, information retrieval, compiler design, etc. We build ...