引用人
布拉加C 悬挂C 帕帕佐普洛斯G (2019) π 第34届ACM/SIGAPP应用计算研讨会论文集 10.1145/3297280.3299740 (1562-1569) 在线发布日期:2019年4月8日 科尔文R (2014) 基于类层次结构的面向对象概念的操作语义 计算的形式方面 10.1007/s00165-012-0259年 26 :3 (491-535) 在线发布日期:2014年5月1日 丙酮L 卡尔泰斯G 戈里亚克E 英格尔夫斯多蒂尔A (2011) PREG公理化器 第四届计算机科学代数和余代数国际会议论文集 10.5555/2040096.2040126 (378-385) 在线发布日期:2011年8月30日 显示更多引用者