设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(1)
CNKI学位论文(5)
知网期刊论文(7)
在“
SpringerLink电子期刊
”中,
命中:
16
条,耗时:小于0.01 秒
在所有数据库中总计命中:
13
条
1.
A Kleene Theorem for Weighted Tree Automata over Tree
Valuation
Monoids
关键词:
Weighted tree automata
;
Rational expressions
;
Valuation
monoids
;
Kleene theorem
刊名:Lecture Notes in Computer Science
出版年:2016
2.
Weighted Automata and Logics on Infinite Graphs
关键词:
Quantitative automata
;
Infinite graphs
;
Graphs
;
Quantitative logic
;
Valuation
monoids
刊名:Lecture Notes in Computer Science
出版年:2016
3.
The axiomatizability of the class of root closed
monoids
作者:
K. Alan Loper
;
Greg Oman
;
Nicholas J. Werner
关键词:
Cancellative monoid
;
(finitely) Axiomatizable theory
;
GCD monoid
;
Group of fractions
;
Root closure
;
Valuation
monoid
刊名:Semigroup Forum
出版年:2015
4.
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
刊名:Lecture Notes in Computer Science
出版年:2016
5.
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic
作者:
Parvaneh Babari (17)
Manfred Droste (17)
关键词:
Picture
valuation
monoids
;
Weighted two
;
dimensional on
;
line tessellation automata
;
Picture series
;
Nivat鈥檚 theorem
;
Weighted logic
;
Average behavior
刊名:Lecture Notes in Computer Science
出版年:2015
6.
Weighted Unranked Tree Automata over Tree
Valuation
Monoids
and Their Characterization by Weighted Logics
刊名:Lecture Notes in Computer Science
出版年:2015
7.
Weighted Automata and Logics for Infinite Nested Words
作者:
Manfred Droste (19)
Stefan Dück (19)
关键词:
nested words
;
weighted automata
;
weighted logics
;
quantitative automata
;
valuation
monoids
刊名:Lecture Notes in Computer Science
出版年:2014
8.
On linear Hodge-Newton decomposition for reductive
monoids
作者:
Sandeep Varma (1)
关键词:
Hodge
;
Newton decomposition
;
Linear algebraic
monoids
;
Mazur’s inequality
刊名:Semigroup Forum
出版年:2012
9.
Weighted Tree Automata over
Valuation
Monoids
and Their Characterization by Weighted Logics
作者:
Manfred Droste (18)
Doreen G?tze (18)
Steffen M?rcker (19)
Ingmar Meinecke (18)
刊名:Lecture Notes in Computer Science
出版年:2011
10.
Valuation
s of Weighted Automata: Doing It in a Rational Way
作者:
Ingmar Meinecke (18)
刊名:Lecture Notes in Computer Science
出版年:2011
1
2
按检索点细分(16)
题名(5)
关键词(4)
文摘(10)
按出版年细分(16)
2016年(3)
2015年(3)
2014年(1)
2012年(1)
2011年(2)
2007年(2)
2001年(2)
2000年及以前(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
.