TY  - RPRT
TI  - Büchi VASS recognise w-languages that are Sigma^1_1 - complete
AU  - Michał Skrzypczak
PY  - 2017
UR  - https://arxiv.org/abs/1708.09658
ID  - 1708.09658
ER  -