17 citations · 64 across the 12 of their papers we have counts for
1 paper · 1 filter
Alberto Momigliano, Frank Pfenning
We address the problem of complementing higher-order patterns without repetitions of existential variables. Differently from the first-order case, the complement of a pattern canno…