Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > DETAIL:

Paper:

TR12-119 | 24th September 2012 18:41

Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems

TR12-119
Authors: Ilario Bonacina, Nicola Galesi
Publication: 24th September 2012 20:57