TY  - RPRT
TI  - Undecidability Results for Finite Interactive Systems
AU  - Alexandru Sofronia
AU  - Alexandru Popa
AU  - Gheorghe Stefanescu
PY  - 2009
UR  - https://arxiv.org/abs/1001.0143
ID  - 1001.0143
ER  -