知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
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
2009, vol.410, no.1
2009, vol.410, no.11
2009, vol.410, no.12-13
2009, vol.410, no.14
2009, vol.410, no.15
2009, vol.410, no.16
2009, vol.410, no.17
2009, vol.410, no.18
2009, vol.410, no.19
2009, vol.410, no.20
2009, vol.410, no.21/23
2009, vol.410, no.2-3
2009, vol.410, no.24/25
2009, vol.410, no.26
2009, vol.410, no.27/29
2009, vol.410, no.30/32
2009, vol.410, no.33/34
2009, vol.410, no.35
2009, vol.410, no.36
2009, vol.410, no.37
2009, vol.410, no.38/40
2009, vol.410, no.41
2009, vol.410, no.42
2009, vol.410, no.43
2009, vol.410, no.44
2009, vol.410, no.45
2009, vol.410, no.4-5
2009, vol.410, no.46
2009, vol.410, no.47/49
2009, vol.410, no.50
2009, vol.410, no.51
2009, vol.410, no.52
2009, vol.410, no.6-7
2009, vol.410, no.8-10
题名
作者
出版年
年卷期
Deciding determinism of caterpillar expressions
Kai Salomaa; Sheng Yu; Jinfeng Zan
2009
2009, vol.410, no.37
Regulated nondeterminism in pushdown automata
Martin Kutrib; Andreas Malcher; Larissa Werlein
2009
2009, vol.410, no.37
Efficient enumeration of words in regular languages
Margareta Ackerman; Jeffrey Shallit
2009
2009, vol.410, no.37
From Nerode's congruence to suffix automata with mismatches
M. Crochemore; C. Epifanio; A. Gabriele; F. Mignosi
2009
2009, vol.410, no.37
Weighted automata and weighted logics with discounting
Manfred Droste; George Rahonis
2009
2009, vol.410, no.37
Defining syntax-directed translations by tree bimorphisms
Magnus Steinby; Catalin Ionut Tirnauca
2009
2009, vol.410, no.37
Finite state automata representing two-dimensional subshifts
Natasa Jonoska; Joni B. Pirnot
2009
2009, vol.410, no.37
Synchronizing automata preserving a chain of partial orders
M. V. Volkov
2009
2009, vol.410, no.37
A computational model for tiling recognizable two-dimensional languages
Marcella Anselmo; Dora Giammarresi; Maria Madonia
2009
2009, vol.410, no.37
The degree of word-expansion of lexicalized RRWW-automata - A new measure for the degree of nondeterminism of (context-free) languages
F. Mraz; F. Otto; M. Platek
2009
2009, vol.410, no.37
1
2
制造业外文文献服务平台