TY  - CONF

T1  - FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2–6, 2019

JO  - The Bulletin of Symbolic Logic

UR  - http://dx.doi.org/10.1017/bsl.2020.14

PY  - 2021/04/16

AU  - 

ED  - 

DO  - DOI: 10.1017/bsl.2020.14

PB  - Cambridge University Press (CUP)

VL  - 26

IS  - 3-4

SP  - 312

EP  - 312

Y2  - 2024/12/26

ER  -