33 citations · 87 across the 15 of their papers we have counts for
1 paper · 1 filter
Matteo Acclavio, Ross Horne, Lutz Straßburger
In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-co…