Beyersdorff, O., Bonacina, I., Kasche, K., Mahajan, M., & Spachmann, L. N. (2025). Semi-Algebraic Proof Systems for QBF.
Style de citation Chicago (17e éd.)Beyersdorff, Olaf, Ilario Bonacina, Kaspar Kasche, Meena Mahajan, et Luc Nicolas Spachmann. Semi-Algebraic Proof Systems for QBF. 2025.
Style de citation MLA (9e éd.)Beyersdorff, Olaf, et al. Semi-Algebraic Proof Systems for QBF. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.