most citedA uniform approach to constraint-solving for lists, multisets, compact lists, and sets

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2003★ 2 cited

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

Agostino Dovier, Carla Piazza, Gianfranco Rossi

Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of Computer Science. These data structures have been analyzed from…