李春淼(1993-),女,陕西商洛人,硕士,主要研究领域为形式化方法,程序语言理论;蔡小娟(1982-),女,博士,助理研究员,主要研究领域为形式化方法,程序语言理论;李国强(1979-),男,博士,副教授,CCF专业会员,主要研究领域为形式化方法,理论计算机科学,程序语言理论.
李国强,E-mail:li.g@sjtu.edu.cn
国家自然科学基金(61472238,61672340,61872232)
National Natural Science Foundation of China (61472238, 61672340, 61472240, 61872232)
李春淼,蔡小娟,李国强.良结构下推系统的可覆盖性问题的下界.软件学报,2018,29(10):3009-3020
复制