知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
0304-3975
刊名
Theoretical Computer Science
参考译名
理论计算机科学
收藏年代
2002~2024
全部
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2012, vol.413, no.1
2012, vol.414, no.1
2012, vol.415
2012, vol.416
2012, vol.417
2012, vol.418
2012, vol.419
2012, vol.420
2012, vol.421
2012, vol.422
2012, vol.423
2012, vol.424
2012, vol.425
2012, vol.426/427
2012, vol.428
2012, vol.429
2012, vol.430
2012, vol.431
2012, vol.432
2012, vol.433
2012, vol.434
2012, vol.435
2012, vol.436
2012, vol.437
2012, vol.438
2012, vol.439
2012, vol.440/441
2012, vol.442
2012, vol.443
2012, vol.444
2012, vol.445
2012, vol.446
2012, vol.447
2012, vol.448
2012, vol.449
2012, vol.450
2012, vol.451
2012, vol.452
2012, vol.453
2012, vol.454
2012, vol.455
2012, vol.456
2012, vol.457
2012, vol.458
2012, vol.459
2012, vol.460
2012, vol.461
2012, vol.462
2012, vol.463
2012, vol.464
2012, vol.465
2012, vol.466
题名
作者
出版年
年卷期
State complexity of operations on two-way finite automata over a unary alphabet
Michal Kunc; Alexander Okhotin
2012
2012, vol.449
Descriptional complexity of two-way pushdown automata with restricted head reversals
Andreas Malcher; Carlo Mereghetti; Beatrice Palano
2012
2012, vol.449
Language classes generated by tree controlled grammars with bounded nonterminal complexity
Sherzod Turaev; Jurgen Dassow; Florin Manea; Mohd Hasan Selamat
2012
2012, vol.449
Efficient unfolding of contextual Petri nets
Paolo Baldan; Alessandro Bruni; Andrea Corradini; Barbara Konig; Cesar Rodriguez; Stefan Schwoon
2012
2012, vol.449
The size-cost of Boolean operations on constant height deterministic pushdown automata
Zuzana Bednarova; Viliam Geffert; Carlo Mereghetti; Beatrice Palano
2012
2012, vol.449
Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages
Janusz Brzozowski; Baiyu Li; Yuli Ye
2012
2012, vol.449
Geometrical regular languages and linear Diophantine equations: The strongly connected case
Jean-Marc Champarnaud; Jean-Philippe Dubernard; Franck Guingne; Hadrien Jeanne
2012
2012, vol.449
On external contextual grammars with subregular selection languages
Jurgen Dassow; Florin Manea; Bianca Truthe
2012
2012, vol.449
On synchronized multi-tape and multi-head automata
Oscar H. Ibarra; Nicholas Q. Tran
2012
2012, vol.449
Reversal of binary regular languages
Galina Jiraskova; Juraj Sebej
2012
2012, vol.449
1
2
制造业外文文献服务平台