Undecidability Results for Finite Interactive Systems.

Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu

Browse the full SYNASC paper archive.