35 citations · 87 across the 23 of their papers we have counts for
1 paper · 2 filters
Isabel Müller, Rizos Sklinos
We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality…