Skip to Main content Skip to Navigation
Journal articles

Proof Complexity Meets Algebra

Complete list of metadata

https://hal.inria.fr/hal-02497062
Contributor : Joanna Ochremiak <>
Submitted on : Tuesday, March 3, 2020 - 2:27:16 PM
Last modification on : Monday, November 16, 2020 - 3:56:03 PM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

61