设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Wiley电子期刊(1)
SpringerLink电子期刊(422)
Elsevier电子期刊(153)
Springer电子图书(2)
ProQuest学位论文(7)
在“
Elsevier电子期刊
”中,
命中:
153
条,耗时:0.0249865 秒
在所有数据库中总计命中:
585
条
1.
Inclusion dependencies and their interaction with functional dependencies in SQL
作者:
Henning Koehler
a
;
h.koehler@massey.ac.nz
;
Sebastian Link
b
;
s.link@auckland.ac.nz
关键词:
Axiomatization
;
Chase
;
Complexity
;
Functional dependency
;
Inclusion dependency
;
Null
;
Partial semantics
;
Simple semantics
;
Undecidability
;
SQL
刊名:Journal of Computer and System Sciences
出版年:2017
2.
Optimal state reductions of automata with partially specified behaviors
作者:
Nelma Moreira
a
;
1
;
nam@dcc.fc.up.pt
;
Giovanni Pighizzini
b
;
2
;
pighizzini@di.unimi.it
;
Rogé
;
rio Reis
a
;
1
;
rvr@dcc.fc.up.pt
关键词:
Finite automata
;
Nondeterminism
;
Don't care automata
;
Descriptional complexity
刊名:Theoretical Computer Science
出版年:2017
3.
On the Shortest Path Game
作者:
Andreas Darmann
a
;
andreas.darmann@uni-graz.at
;
Ulrich Pferschy
b
;
pferschy@uni-graz.at
;
Joachim Schauer
b
;
joachim.schauer@uni-graz.at
关键词:
Shortest path problem
;
Game theory
;
Computational complexity
;
Cactus graph
刊名:Discrete Applied Mathematics
出版年:2017
4.
DAG-width is
PSPACE
-
complete
作者:
Saeed Akhoondian Amiri
saeed.amiri@tu-berlin.de
;
Stephan Kreutzer
stephan.kreutzer@tu-berlin.de
;
Roman Rabinovich
;
roman.rabinovich@tu-berlin.de
关键词:
Graph searching games
;
DAG-width
;
PSPACE
-
complete
刊名:Theoretical Computer Science
出版年:2016
5.
Generalized Pete's Pike is
PSPACE
-
complete
作者:
Bernd Meyer
bernd.meyer@infineon.com" class="auth_mail" title="E-mail the corresponding author
关键词:
Logic puzzle
;
Solitaire games
;
UFO Puzzle
;
PSPACE
-
complete
ness
刊名:Theoretical Computer Science
出版年:2016
6.
Pull and PushPull are
PSPACE
-
complete
作者:
André
;
G. Pereira
agpereira@inf.ufrgs.br" class="auth_mail" title="E-mail the corresponding author
;
Marcus Ritt
;
marcus.ritt@inf.ufrgs.br" class="auth_mail" title="E-mail the corresponding author
;
Luciana S. Buriol
;
buriol@inf.ufrgs.br" class="auth_mail" title="E-mail the corresponding author
关键词:
Moving-blocks problems
;
PSPACE
-
complete
ness
;
Sokoban
;
Nondeterministic constraint logic
刊名:Theoretical Computer Science
出版年:2016
7.
Complexity of the game domination problem
作者:
Bo&scaron
;
tjan Bre&scaron
;
ar
a
;
b
;
Paul Dorbec
c
;
d
;
paul.dorbec@u-bordeaux.fr" class="auth_mail" title="E-mail the corresponding author
;
Sandi Klavžar
e
;
a
;
b
;
Ga&scaron
;
per Ko&scaron
;
mrlj
e
;
Gabriel Renault
c
;
d
关键词:
Domination game
;
Computational complexity
;
PSPACE
-
complete
problems
;
POS-CNF problem
刊名:Theoretical Computer Science
出版年:2016
8.
PSPACE
-
complete
ness of majority automata networks
作者:
Eric Goles
a
;
eric.chacc@uai.cl" class="auth_mail" title="E-mail the corresponding author
;
Pedro Montealegre
b
;
1
;
pedro.montealegre@etu.univ-orleans.fr" class="auth_mail" title="E-mail the corresponding author
;
Ville Salo
c
;
2
;
vsalo@dim.uchile.cl" class="auth_mail" title="E-mail the corresponding author
;
Ilkka Tö
;
rmä
;
d
;
3
;
iatorm@utu.fi" class="auth_mail" title="E-mail the corresponding author
关键词:
Boolean network
;
Majority network
;
Prediction problem
;
PSPACE
刊名:Theoretical Computer Science
出版年:2016
9.
Complexity of the deadlock problem for Petri nets modeling resource allocation systems
作者:
Guanjun Liu
;
liuguanjun@tongji.edu.cn" class="auth_mail" title="E-mail the corresponding author
关键词:
Petri nets
;
Deadlock
;
Resource allocation systems
;
Collaboration
;
PSPACE
-
complete
ness
;
NP-
complete
ness
刊名:Information Sciences
出版年:2016
10.
On the complexity of connection games
作者:
É
;
douard Bonnet
a
;
edouard.bonnet@lamsade.dauphine.fr" class="auth_mail" title="E-mail the corresponding author
;
Florian Jamain
b
;
florian.jamain@lamsade.dauphine.fr" class="auth_mail" title="E-mail the corresponding author
;
Abdallah Saffidine
c
;
abdallahs@cse.unsw.edu.au" class="auth_mail" title="E-mail the corresponding author
关键词:
Complexity
;
Havannah
;
Twixt
;
Hex
;
Slither
;
PSPACE
刊名:Theoretical Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(153)
题名(14)
关键词(13)
文摘(144)
按出版年细分(153)
2027年及以后(5)
2017年(3)
2016年(12)
2015年(1)
2013年(6)
2012年(9)
2011年(11)
2010年(11)
2009年(10)
2008年(8)
2007年(10)
2006年(7)
2005年(3)
2004年(5)
2003年(6)
2002年(8)
2001年(2)
2000年(5)
2000年及以前(31)
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
.