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

VL  - 119

Y2  - 2026/01/07

ER  -