TY  - CONF

T1  - Expressivity within second-order transitive-closure logic

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2018/08/01

AU  - Ferrarotti F

AU  - Van Den Bussche J

AU  - Virtema J

ED  - 

DO  - DOI: 10.4230/LIPIcs.CSL.2018.22

SN  - 9783959770880

VL  - 119

Y2  - 2024/09/19

ER  -