理论计算机科学

抽象代数, 数学, 数学基础, 理论计算机科学, 范畴论

本质满射函子 (Essentially Surjective Functor)

函子, 同构, 数学, 本质满射, 范畴

分布式系统, 并发编程, 模型, 理论计算机科学, 计算机科学

Join演算 (Join-calculus)

Join演算, 分布式, 并发, 计算机模型, 进程演算

信息技术, 学术组织, 理论计算机科学, 算法, 计算机科学

ACM SIGACT (算法与计算理论协会)

ACM, SIGACT, 算法, 计算机科学, 计算理论

形式语言, 数据结构, 理论计算机科学, 编译原理, 计算机科学

字母表 (Alphabet)

字母表, 字符串, 形式语言, 计算机, 语言

学者, 理论计算机科学, 算法, 计算机科学, 量子计算

马里奥·塞盖迪 (Mario Szegedy)

理论计算机科学, 算法, 计算机科学家, 量子计算, 马里奥·塞盖迪