TY  - GEN

T1  - Expressivity within second-order transitive-closure logic

PY  - 2018/04/16

AU  - Ferrarotti F

AU  - Bussche JVD

AU  - Virtema J

ED  - 

Y2  - 2024/09/19

ER  -