Buscas alternativas:
proof compression » of compression (Expandir a busca), cord compression (Expandir a busca), soil compression (Expandir a busca)
proof compression » of compression (Expandir a busca), cord compression (Expandir a busca), soil compression (Expandir a busca)
1
Assuntos:
“...[en] PROOF COMPRESSION...”
[en] AN EXPERIMENTAL APPROACH ON MINIMAL IMPLICATIONAL NATURAL DEDUCTION PROOFS COMPRESSION
Tese
2
Assuntos:
“...[en] PROOF COMPRESSION...”
[en] ARGUING NP = PSPACE: ON THE COVERAGE AND SOUNDNESS OF THE HORIZONTAL COMPRESSION ALGORITHM
Tese