Journal Articles
ACM Transactions on Computational Logic
Year : 2019
Joanna Fijalkow : Connect in order to contact the contributor
https://inria.hal.science/hal-02497062
Submitted on : Tuesday, March 3, 2020-2:27:16 PM
Last modification on : Thursday, June 29, 2023-3:29:12 PM
Dates and versions
Identifiers
- HAL Id : hal-02497062 , version 1
- ARXIV : 1711.07320
- DOI : 10.1145/3265985
Cite
Albert Atserias, Joanna Ochremiak. Proof Complexity Meets Algebra. ACM Transactions on Computational Logic, 2019, 20 (1), pp.1-46. ⟨10.1145/3265985⟩. ⟨hal-02497062⟩
Collections
12
View
0
Download