7 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 3 cited
Superposition as a logical glue
Andrea Asperti, Enrico Tassi
The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions…
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…