15 citations · 15 across the 2 of their papers we have counts for
1 paper · 1 filter
Angela Bonifati, Stefania Dumbrava, Emilio Jesus Gallego Arias
We employ the Coq proof assistant to develop a mechanically-certified framework for evaluating graph queries and incrementally maintaining materialized graph instances, also called…