AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

Proving the correctness of reactive systems using sized types

POPL, pp.410-423, (1996)

被引用391|浏览11
EI
下载 PDF 全文
引用

代码

数据

您的评分 :
0

 

标签
评论
小科