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/12/23

ER  -