29 citations · 35 across the 10 of their papers we have counts for
1 paper · 1 filter
Ariel Fernández, Michael Soltys
We show that the well-known Konig's Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, can be proven in the first order theory $\LA$ with induction restric…