张奎泽 标记的实时自动机的基于状态的不透明性。 (英语) Zbl 07811872号 西奥。计算。科学。 987,文章ID 114373,20 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang},Theor(西奥)。计算。科学。987,文章ID 114373,20 p.(2024;Zbl 07811872) 全文: 内政部
艾蒂安·格兰德让;塞奥·格伦特;Véronique梗 逻辑与实时细胞自动机程序中的归纳定义。 (英语) Zbl 07811868号 西奥。计算。科学。 987,文章ID 114355,59 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{埃·格兰德让}等人,Theor。计算。科学。987,文章ID 114355,59页(2024;Zbl 07811868) 全文: 内政部 链接