理论计算机科学

代数, 数学, 理论计算机科学, 范畴论, 逻辑

PROP (范畴论中的PROP)

PROP, 代数结构, 幺半范畴, 数学工具, 范畴论

人工智能, 数学, 理论计算机科学, 计算机科学, 逻辑学

重叠 (Overlap)

规则, 计算机, 逻辑, 重叠, 项重写

形式语言, 文法, 理论计算机科学, 计算机科学

正则树文法 (Regular Tree Grammar)

RTG, 形式文法, 抽象语法树, 树结构, 正则树文法

学术研究, 数学家, 理论计算机科学, 芬兰, 计算机科学家

雅科·卡里 (Jarkko Kari)

图灵机, 数学, 王氏砖, 计算机科学, 雅科·卡里

实时系统, 并发系统, 形式化方法, 理论计算机科学, 计算机科学

时间过程语言 (Temporal Process Language)

TPL, 实时, 并发, 时间过程语言, 过程代数