设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(23)
Elsevier电子期刊(19)
在“
SpringerLink电子期刊
”中,
命中:
23
条,耗时:0.0129978 秒
在所有数据库中总计命中:
42
条
1.
A New View of Effects in a Hilbert Space
作者:
Roberto Giuntini
;
Antonio Ledda
;
Francesco Paoli
关键词:
Orthomodular
lattice
;
Brouwer–Zadeh
lattice
;
Kleene
lattice
;
Unsharp quantum theory
;
Effect
;
Spectral ordering
刊名:Studia Logica
出版年:2016
2.
Fixed-Point Elimination in the Intuitionistic Propositional Calculus
刊名:Lecture Notes in Computer Science
出版年:2016
3.
Unification and Projectivity in De Morgan and
Kleene
Algebras
作者:
Simone Bova (1)
Leonardo Cabrer (2)
关键词:
Distributive
lattice
s
;
De Morgan and
Kleene
algebras
;
Unification
;
Projectivity
刊名:Order
出版年:2014
4.
Classes of Languages Generated by the
Kleene
Star of a Word
刊名:Lecture Notes in Computer Science
出版年:2015
5.
MV-algebras freely generated by finite
Kleene
algebras
作者:
Stefano Aguzzoli
;
Leonardo M. Cabrer
;
Vincenzo Marra
关键词:
Primary
;
06D35
;
Secondary
;
06D30
;
06D50
;
03C05
;
free algebra
;
reduct
;
MV
;
algebra
;
distributive
lattice
;
Kleene
algebra
;
natural duality
;
simplicial complex
;
order complex
;
nerve of a partially ordered set
;
rational polyhedron
;
triangulation
;
unimodular simplicial complex
;
regular simplicial complex
;
basis
;
$${{\mathbb{Z}}}$$ Z
;
map
刊名:Algebra Universalis
出版年:2013
6.
A Method of Representing Rough Sets System Determined by Quasi Orders
作者:
E. K. R. NAGARAJAN (1)
D. UMADEVI (1)
关键词:
Rough sets
;
Quasi order
;
Dual isomorphism
;
Kleene
algebra
;
Nelson algebra
;
Topological
Kleene
algebra
;
Monadic Topological
Kleene
algebra
刊名:Order
出版年:2013
7.
A Mechanised Abstract Formalisation of Concept
Lattice
s
作者:
Wolfram Kahl (19)
刊名:Lecture Notes in Computer Science
出版年:2014
8.
Abstract Interpretation over Non-
lattice
Abstract Domains
作者:
Graeme Gange (18)
Jorge A. Navas (18)
Peter Schachte (18)
Harald S?ndergaard (18)
Peter J. Stuckey (18)
刊名:Lecture Notes in Computer Science
出版年:2013
9.
Kleene
and Bchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded
Lattice
s
作者:
Manfred Droste
;
Heiko Vogler
刊名:Lecture Notes in Computer Science
出版年:2010
10.
From Semirings to Residuated
Kleene
Lattice
s
作者:
Peter Jipsen
关键词:
Semirings
;
Kleene
algebras
;
residuated
lattice
s
;
Kleene
algebras with test
;
action algebras
;
congruence properties
;
Gentzen systems
刊名:Studia Logica
出版年:2004
1
2
3
按检索点细分(23)
题名(2)
关键词(5)
文摘(17)
按出版年细分(23)
2016年(2)
2015年(1)
2014年(2)
2013年(3)
2010年(2)
2009年(2)
2008年(6)
2006年(2)
2005年(1)
2004年(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
.