48 citations · 207 across the 23 of their papers we have counts for
1 paper · 1 filter
Alain Finkel, Jérôme Leroux
Number Decision Diagrams (NDD) provide a natural finite symbolic representation for regular set of integer vectors encoded as strings of digit vectors (least or most significant di…