Suchergebnisse - Gaysin, Azza
- Treffer 1 - 2 von 2
-
1
Proof complexity of universal algebra in a CSP dichotomy proof Autoría: Gaysin, Azza
Veröffentlicht 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Proof complexity of Mal'tsev CSP Autoría: Gaysin, Azza
Veröffentlicht 2025Fuente: arXivTipo de material: PreprintAcceso al recurso