<em>L</em><sup>*</sup>系统中公式的语构程度化方法

PDF(658 KB)

电子学报 ›› 2011, Vol. 39 ›› Issue (2) : 424-428.

L^*系统中公式的语构程度化方法

作者信息 +

Syntactic Graded Method of Formulas in the System L^*

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2011, 39(2): 424-428.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2011, 39(2): 424-428.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(658 KB)

Accesses

Citation

Detail

国家自然科学基金(No.90818020)

段落导航