Weighted, circular and semi-algebraic proofs

MLA

Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, et al. Weighted, Circular and Semi-Algebraic Proofs. 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1439654008&authtype=sso&custid=ns315887.

APA

Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorísmia, B. C. i M. F., Bonacina, I., Bonet Carbonell, M. L., & Levy Díaz, J. (2024). Weighted, circular and semi-algebraic proofs.

Chicago

Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Bioinformàtica, Complexitat i Mètodes Formals Universitat Politècnica de Catalunya. ALBCOM - Algorísmia, Ilario Bonacina, M. Luisa Bonet Carbonell, and Jordi Levy Díaz. 2024. “Weighted, Circular and Semi-Algebraic Proofs.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1439654008&authtype=sso&custid=ns315887.