Semiautomatic Structures
Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan
- 期刊名称Theory of Computing Systems
- 作者Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank; Teng, Dan; Zou, Siyuan
- 印刷ISSN1432-4350
- 电子ISSN1433-0490
- 文件大小648.39KB
- 发表时间2017-6-27
- DOI10.1007/s00224-017-9792-7