[IEEE 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2008.09.26-2008.09.29)] 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Undecidability Results for Finite Interactive Systems
Sofronia, Alexandru, Popa, Alexandru, Stefanescu, GheorgheYear:
2008
Language:
english
DOI:
10.1109/synasc.2008.42
File:
PDF, 181 KB
english, 2008