Variants of unification considering compression and context variables

Tesis doctoral de Adrián Gascón Caro Term unification is a basic operation in several areas of computer science, specially in […]

, , , , ,