4 citations · 14 across the 13 of their papers we have counts for
1 paper · 2 filters
Walid Belkhir, Alain Giorgetti
We define a lazy pattern-matching mechanism modulo associativity and commutativity. The solutions of a pattern-matching problem are stored in a lazy list composed of a first substi…