Liron Cohen

Binding

CSL, (2021)

ACM Trans. Comput. Log., no. 4 (2020): 1-31

international joint conference on automated reasoning, pp.375-394, (2020)

SOCS, pp.48-56, (2020)

Journal of Logic and Computation, no. 4 (2019): 469-486

J. Log. Comput., no. 5 (2019): 693-721

Journal of the ACM, no. 2 (2019): 1-35

LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, pp.245-254, (2018)

SOCS, (2018)

LPAR, (2018): 564-582

LFCS, pp.37-54, (2018)

CSL, pp.17:1-17:16, (2018)

IJCAI, pp.1427-1433, (2018)

arXiv: Logic in Computer Science, (2018)

LOGICAL METHODS IN COMPUTER SCIENCE, no. 4 (2018)

GCAI, pp.107-120, (2017)

AIIDE, (2017): 270-272

Lecture Notes in Artificial Intelligence, (2017): 247-260

IJCAI, pp.4869-4873, (2017)

arXiv: Artificial Intelligence, (2017)