26 citations · 31 across the 6 of their papers we have counts for
1 paper · 1 filter
Marco Faella, Gennaro Parlato
Programs that manipulate tree-shaped data structures often require complex, specialized proofs that are difficult to generalize and automate. This paper introduces a unified, found…