主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
期刊
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
2004, vol.310, no.1-3
2004, vol.311, no.1-3
2004, vol.312, no.1
2004, vol.312, no.2-3
2004, vol.313, no.1
2004, vol.313, no.2
2004, vol.313, no.3
2004, vol.314, no.1-2
2004, vol.314, no.3
2004, vol.315, no.1
2004, vol.315, no.2-3
2004, vol.316, no.1-3
2004, vol.317, no.1-3
2004, vol.318, no.1-2
2004, vol.318, no.3
2004, vol.319, no.1-3
2004, vol.320, no.1
2004, vol.320, no.2-3
2004, vol.321, no.1
2004, vol.321, no.2-3
2004, vol.322, no.1
2004, vol.322, no.2
2004, vol.322, no.3
2004, vol.323, no.1-3
2004, vol.324, no.1
2004, vol.324, no.2-3
2004, vol.325, no.1
2004, vol.325, no.2
2004, vol.325, no.3
2004, vol.326, no.1-3
2004, vol.327, no.1-2
2004, vol.327, no.3
2004, vol.328, no.1-2
2004, vol.328, no.3
2004, vol.329, no.1-3
题名
作者
出版年
年卷期
Techniques from combinatorial approximation algorithms yield efficient algorithms for random 2k-SAT
Amin Coja-Oghlan; Andreas Goerdt; Andre Lanka; Frank Schadlich
2004
2004, vol.329, no.1-3
On Robson's convergence and boundedness conjectures concerning the height of binary search trees
Michael Drmota
2004
2004, vol.329, no.1-3
ω-Regular languages are testable with a constant number of queries
Hana Chockler; Orna Kupferman
2004
2004, vol.329, no.1-3
Recognizing frozen variables in constraint satisfaction problems
Peter Jonsson; Andrei Krokhin
2004
2004, vol.329, no.1-3
Storage-to-tree transducers with look-ahead
Tamas Hornung; Sandor Vagvolgyi
2004
2004, vol.329, no.1-3
A proof-theoretic characterization of the basic feasible functional
Thomas Strahm
2004
2004, vol.329, no.1-3
Codes, orderings, and partial words
F. Blanchet-Sadri
2004
2004, vol.329, no.1-3
Polynomial time learning of simple deterministic languages via queries and a representative sample
Yasuhiro Tajima; Etsuji Tomita; Mitsuo Wakatsuki; Matsuaki Terada
2004
2004, vol.329, no.1-3
On the complexities of multipoint evaluation and interpolation
Alin Bostan; Eric Schost
2004
2004, vol.329, no.1-3
Some minimum merging networks
Gembu Morohashi; Shigeki Iwata
2004
2004, vol.329, no.1-3
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024