61 citations · 235 across the 13 of their papers we have counts for
1 paper · 1 filter
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß
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…