知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
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
2011, vol.412, no.1/2
2011, vol.412, no.11
2011, vol.412, no.12/14
2011, vol.412, no.15
2011, vol.412, no.16
2011, vol.412, no.17
2011, vol.412, no.18
2011, vol.412, no.19
2011, vol.412, no.20
2011, vol.412, no.21
2011, vol.412, no.22
2011, vol.412, no.23
2011, vol.412, no.24
2011, vol.412, no.25
2011, vol.412, no.26
2011, vol.412, no.27
2011, vol.412, no.28
2011, vol.412, no.29
2011, vol.412, no.3
2011, vol.412, no.30
2011, vol.412, no.31
2011, vol.412, no.32
2011, vol.412, no.33
2011, vol.412, no.34
2011, vol.412, no.35
2011, vol.412, no.36
2011, vol.412, no.37
2011, vol.412, no.38
2011, vol.412, no.39
2011, vol.412, no.4/5
2011, vol.412, no.40
2011, vol.412, no.41
2011, vol.412, no.42
2011, vol.412, no.43
2011, vol.412, no.44
2011, vol.412, no.45
2011, vol.412, no.46
2011, vol.412, no.47
2011, vol.412, no.48
2011, vol.412, no.50
2011, vol.412, no.51
2011, vol.412, no.52
2011, vol.412, no.6
2011, vol.412, no.7
2011, vol.412, no.8/10
题名
作者
出版年
年卷期
Simplicity via provability for universal prefix-free Turing machines
Cristian S. Calude
2011
2011, vol.412, no.1/2
Abstract geometrical computation 4: Small Turing universal signal machines
Jerome Durand-Lose
2011
2011, vol.412, no.1/2
A simple P-complete problem and its language-theoretic representations
Alexander Okhotin
2011
2011, vol.412, no.1/2
Four states are enough!
N. Ollinger; G. Richard
2011
2011, vol.412, no.1/2
A universal cellular automaton on the heptagrid of the hyperbolic plane with four states
Maurice Margenstern
2011
2011, vol.412, no.1/2
Complexity of multi-head finite automata: Origins and directions
Markus Holzer; Martin Kutrib; Andreas Malcher
2011
2011, vol.412, no.1/2
Communication complexity and intrinsic universality in cellular automata
E. Goles; P. E. Meunier; I. Rapaport; G. Theyssier
2011
2011, vol.412, no.1/2
Computing by observing: Simple systems and simple observers
Matteo Cavaliere; Peter Leupold
2011
2011, vol.412, no.1/2
On the complex behavior of simple tag systems-An experimental approach
Liesbeth De Mol
2011
2011, vol.412, no.1/2
Self-assembly of infinite structures: A survey
Matthew J. Patitz; Scott M. Summers
2011
2011, vol.412, no.1/2
1
2
制造业外文文献服务平台