Risultati della ricerca - Gaysin, Azza

  • Mostra 1 - 2 risultati su 2
Raffina i risultati
  1. 1

    Proof complexity of universal algebra in a CSP dichotomy proof Autoría: Gaysin, Azza

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
  2. 2

    Proof complexity of Mal'tsev CSP Autoría: Gaysin, Azza

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso