5 citations · 8 across the 5 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…