共 1 条
- [1] Norell U.(2008)Dependently typed programming in Agda Adv. Funct. Program. 5832 230-266
Admissible Ordering on Monomials is Well-Founded: A Constructive Proof
被引：0
作者：
S. D. Meshveliani
机构：
[1] Ailamazyan Program Systems Institute,
[2] Russian Academy of Sciences,undefined
来源：
Programming and Computer Software
|
2023年
/
49卷
关键词：
computer algebra;
polynomials;
admissible ordering;
constructive proof;
and Dickson’s lemma;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：199 / 214
页数：15
相关论文