TY  - RPRT
TI  - A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time
AU  - Flavio Ferrarotti
AU  - Senen Gonzáles
AU  - Klaus-Dieter Schewe
AU  - José María Turull-Torres
PY  - 2019
UR  - https://arxiv.org/abs/1912.00010
ID  - 1912.00010
ER  -