Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems. Bonacina, I. & Galesi, N. Electron. Colloquium Comput. Complex., 2012.
Paper bibtex @article{DBLP:journals/eccc/BonacinaG12,
author = {Ilario Bonacina and
Nicola Galesi},
title = {Pseudo-partitions, Transversality and Locality: {A} Combinatorial
Characterization for the Space Measure in Algebraic Proof Systems},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR12-119}},
year = {2012},
url = {https://eccc.weizmann.ac.il/report/2012/119},
eprinttype = {ECCC},
eprint = {TR12-119},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/BonacinaG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"CDcvzSpSAE2Pnte52","bibbaseid":"bonacina-galesi-pseudopartitionstransversalityandlocalityacombinatorialcharacterizationforthespacemeasureinalgebraicproofsystems-2012","downloads":0,"creationDate":"2015-01-14T16:44:33.285Z","title":"Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems","author_short":["Bonacina, I.","Galesi, N."],"year":2012,"bibtype":"article","biburl":"https://dblp.org/pid/120/3998.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ilario"],"propositions":[],"lastnames":["Bonacina"],"suffixes":[]},{"firstnames":["Nicola"],"propositions":[],"lastnames":["Galesi"],"suffixes":[]}],"title":"Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems","journal":"Electron. Colloquium Comput. Complex.","volume":"TR12-119","year":"2012","url":"https://eccc.weizmann.ac.il/report/2012/119","eprinttype":"ECCC","eprint":"TR12-119","timestamp":"Tue, 27 Sep 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/eccc/BonacinaG12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/eccc/BonacinaG12,\n author = {Ilario Bonacina and\n Nicola Galesi},\n title = {Pseudo-partitions, Transversality and Locality: {A} Combinatorial\n Characterization for the Space Measure in Algebraic Proof Systems},\n journal = {Electron. Colloquium Comput. Complex.},\n volume = {{TR12-119}},\n year = {2012},\n url = {https://eccc.weizmann.ac.il/report/2012/119},\n eprinttype = {ECCC},\n eprint = {TR12-119},\n timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/eccc/BonacinaG12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bonacina, I.","Galesi, N."],"key":"DBLP:journals/eccc/BonacinaG12","id":"DBLP:journals/eccc/BonacinaG12","bibbaseid":"bonacina-galesi-pseudopartitionstransversalityandlocalityacombinatorialcharacterizationforthespacemeasureinalgebraicproofsystems-2012","role":"author","urls":{"Paper":"https://eccc.weizmann.ac.il/report/2012/119"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["pseudo","partitions","transversality","locality","combinatorial","characterization","space","measure","algebraic","proof","systems","bonacina","galesi"],"keywords":[],"authorIDs":[],"dataSources":["BriFXoz6fopwYCdKk","fJZLPt45Jq8hSe2Hc"]}