The theorems of the formal system MIU (1997) [1 citations — 1 self]
Download:
|
|
by Armando B. Matos, Armando B. Matos
http://www.ncc.up.pt/~acm/miurep2.ps
Add To MetaCart
Abstract:
On the number of lines of theorems
Citations
| 104 | The complexity of the pigeonhole principle – Ajtai - 1988 |
| 59 | Polynomial size proofs of the Propositional Pigeonhole Principle – Buss - 1987 |
| 12 | Concrete mathematics, second edition – Graham, Knuth, et al. - 1994 |
| 6 | The relative complexity of propositional proof systems – Cook, Reckhow - 1979 |
| 2 | Short proofs for MIU theorems. Technical report, Laborat'orio de Inteligencia Artificial e de Ciencia de Computadores, Universidade do – Antunes - 1997 |
| 2 | The theorems of the formal system MIU. Technical report, Laborat'orio de Inteligencia Artificial e de Ciencia de Computadores, Universidade do – Matos - 1997 |
