31 citations · 133 across the 23 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.FL2010★ 7 cited
Regular Expressions, au point
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi
We introduce a new technique for constructing a finite state deterministic automaton from a regular expression, based on the idea of marking a suitable set of positions inside the…
cs.LO2010
Smart matching
Andrea Asperti, Enrico Tassi
One of the most annoying aspects in the formalization of mathematics is the need of transforming notions to match a given, existing result. This kind of transformations, often base…