设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(5)
Elsevier电子期刊(3)
在“
SpringerLink电子期刊
”中,
命中:
5
条,耗时:0.0129947 秒
在所有数据库中总计命中:
8
条
1.
Abelian networks II: halting on all inputs
作者:
Benjamin Bond
;
Lionel Levine
关键词:
Abelian distributed processors
;
Asynchronous computation
;
Automata network
;
Chip firing
;
Commutative monoid action
;
Dickson’s
lemma
;
Least action principle
;
M
;
matrix
;
Sandpile
;
Torsor
;
68Q10
;
37B15
;
20M14
;
20M35
;
05C50
刊名:Selecta Mathematica, New Series
出版年:2016
2.
Certified Kruskal’s Tree Theorem
作者:
Christian Sternagel (18)
关键词:
Well
;
Quasi
;
Orders
;
Dickson’s
Lemma
;
Minimal Bad Sequences
;
Higman’s
Lemma
;
Kruskal’s Tree Theorem
刊名:Lecture Notes in Computer Science
出版年:2013
3.
The Warshall Algorithm and Dickson's
Lemma
: Two Examples of Realistic Program Extraction
作者:
Ulrich Berger
;
Helmut Schwichtenberg and Monika Seisenberger
关键词:A ;
translation
;
constructive proofs
;
Dickson''s
lemma
;
fealizability
;
program extraction
;
provably correct programs
;
Warshall algorithm
刊名:Journal of Automated Reasoning
出版年:2001
4.
On the Finiteness of Gr?bner Bases Computation in Quotients of the Free Algebra
作者:
Patrik Nordbeck
关键词:
Keywords
;
Non
;
commutative algebras
;
Gr?bner bases
;
Dickson's
lemma
;
Noetherianity
;
Syzygies.
刊名:Applicable Algebra in Engineering, Communication and Computing
出版年:2001
5.
Infinite Strings Generated by Insertions
作者:
O. D. Golubitsky and S. Falconer
刊名:Programming and Computer Software
出版年:2004
1
按检索点细分(5)
关键词(4)
文摘(4)
按出版年细分(5)
2016年(1)
2013年(1)
2004年(1)
2001年(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.