柳健夫
【姓名】 柳健夫
【职称】
【研究领域】 数学;
【研究方向】
【发表文献关键词】 演算,合成法则,程序设计语言,语义,语义学,语言,理论基础,结构模板,递归函数,表达式,直觉,函数名,HREE,定义式,隐式表达,原子集,形式语义,文献,元符号,电子科学技术,
【工作单位】 电子科技大学
【曾工作单位】 电子科技大学;
【所在地域】 成都
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 1 0 1 7
中国期刊全文数据库    共找到1篇
[1]江明德,柳健夫.泛函程序设计语言FFP的γω演算语义[J]科学通报.1989,(21)
更多