Harbo, Sean Kristian Remond - Publications & Citations | 科言猫

未登录

返回

H

Harbo, Sean Kristian Remond

aalborg university

0H指数

1论文数

0被引数

收录论文 1

发表时间

Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations 计算树语义：结构化定义关系的一种算法方法

PROCEEDINGS OF THE 2026 ACM SIGPLAN INTERNATIONAL WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, PEPM 2026

IF0

2026-01-01

0

PREAI

Harbo, Sean Kristian Remond; Huttel, Hans

分享

收藏