Proof Complexity Meets Algebra

Albert Atserias; Joanna Ochremiak

doi:10.1145/3265985

Article Dans Une Revue ACM Transactions on Computational Logic Année : 2019

Proof Complexity Meets Algebra

(1) , (2, 3)

1
2
3

Albert Atserias

Fonction : Auteur

Universitat Politècnica de Catalunya = Université polytechnique de Catalogne [Barcelona]

Joanna Ochremiak

Fonction : Auteur
PersonId : 1266021
IdHAL : joanna-fijalkow
ORCID : 0000-0003-0945-0801

Centre National de la Recherche Scientifique

Laboratoire Bordelais de Recherche en Informatique

Domaines

Logique en informatique [cs.LO] Complexité [cs.CC] Algorithme et structure de données [cs.DS]

Joanna Fijalkow : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02497062

Soumis le : mardi 3 mars 2020-14:27:16

Dernière modification le : mardi 9 avril 2024-08:56:04

Dates et versions

hal-02497062 , version 1 (03-03-2020)

Identifiants

HAL Id : hal-02497062 , version 1
ARXIV : 1711.07320
DOI : 10.1145/3265985

Citer

Albert Atserias, Joanna Ochremiak. Proof Complexity Meets Algebra. ACM Transactions on Computational Logic, 2019, 20 (1), pp.1-46. ⟨10.1145/3265985⟩. ⟨hal-02497062⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS

12 Consultations

0 Téléchargements

Proof Complexity Meets Algebra

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager