发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Induction for termination with local strategies

Induction for termination with local strategies

Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner

作者Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner
卷第58卷
期第2期
印刷ISSN1571-0661
文件大小513.57KB
发表时间2001
DOI10.1016/s1571-0661(04)00284-1
页码155-188

← 返回【学霸图书馆】主页