B\"uchi VASS recognise w-languages that are Sigma^1_1 - complete

This short note exhibits an example of a Sigma^1_1-complete language that can be recognised by a one blind counter B\"uchi automaton (or equivalently a B\"uchi VASS with only one place)

Boletín de Segovia: Número 133 - 1913 noviembre 5

Copia digital. Madrid : Ministerio de Cultura. Subdirección General de Coordinación Bibliotecaria, 200

MOESM2 of Comparison of the specificity of antibodies to VAR2CSA in Cameroonian multigravidae with and without placental malaria: a retrospective case–control study

Additional file 2. Testing mouse anti-human monoclonal antibodies for cross-reactivity (median fluorescent intensities tabulated)