中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

ISSN	0304-3975
刊名	Theoretical Computer Science
参考译名	理论计算机科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
State-based opacity of labeled real-time automata	Zhang, Kuize	2024	2024, vol.987
An algorithm for conditional-fault local diagnosis of multiprocessor systems under the MM? model	Lv, Yali; Lin, Cheng-Kuan; Hsu, D. Frank; Fan, Jianxi	2024	2024, vol.987
Parallel Contextual Array Insertion Deletion Grammars, Pure 2D Context-Free Grammars and Associated P Systems	Lakshmi, M. Gayathri; Vinodhini, G. Arul Freeda; Kamaraj, T.; Thomas, D. G.	2024	2024, vol.987
Fully collusion resistant trace-and-revoke functional encryption for arbitrary identities	Luo, Fucai; Al-Kuwari, Saif; Wang, Haiyan; Yan, Xingfu	2024	2024, vol.987
2-node-connectivity network design	Nutov, Zeev	2024	2024, vol.987
Inductive definitions in logic versus programs of real-time cellular automata	Grandjean, Etienne; Grente, Theo; Terrier, Veronique	2024	2024, vol.987
Approximate sorting and its applications in I/O model	Gao, Tianpeng; Li, Jianzhong	2024	2024, vol.987