中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0304-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 alphabetMichal Kunc; Alexander Okhotin20122012, vol.449
Descriptional complexity of two-way pushdown automata with restricted head reversalsAndreas Malcher; Carlo Mereghetti; Beatrice Palano20122012, vol.449
Language classes generated by tree controlled grammars with bounded nonterminal complexitySherzod Turaev; Jurgen Dassow; Florin Manea; Mohd Hasan Selamat20122012, vol.449
Efficient unfolding of contextual Petri netsPaolo Baldan; Alessandro Bruni; Andrea Corradini; Barbara Konig; Cesar Rodriguez; Stefan Schwoon20122012, vol.449
The size-cost of Boolean operations on constant height deterministic pushdown automataZuzana Bednarova; Viliam Geffert; Carlo Mereghetti; Beatrice Palano20122012, vol.449
Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languagesJanusz Brzozowski; Baiyu Li; Yuli Ye20122012, vol.449
Geometrical regular languages and linear Diophantine equations: The strongly connected caseJean-Marc Champarnaud; Jean-Philippe Dubernard; Franck Guingne; Hadrien Jeanne20122012, vol.449
On external contextual grammars with subregular selection languagesJurgen Dassow; Florin Manea; Bianca Truthe20122012, vol.449
On synchronized multi-tape and multi-head automataOscar H. Ibarra; Nicholas Q. Tran20122012, vol.449
Reversal of binary regular languagesGalina Jiraskova; Juraj Sebej20122012, vol.449
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024