5 citations · 6 across the 2 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…