activity
20132019
most citedThe Omega Counter, a Frequency Counter Based on the Linear Regression

4 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2019

Unification and combination of iterative insertion strategies with rudimentary traversals and failure

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen Michel Lenczner

We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is as…