[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - Automatic structures
Blumensath, A.; Gradel, E.
- 作者Blumensath, A.; Gradel, E.
- 文件大小406.13KB
- 发表时间2000
- DOI10.1109/lics.2000.855755
- 页码51-62