知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
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
2023, vol.939
2023, vol.940, no.Pt.A
2023, vol.940, no.Pt.B
2023, vol.941
2023, vol.942
2023, vol.943
2023, vol.944
2023, vol.945
2023, vol.946
2023, vol.947
2023, vol.948
2023, vol.949
2023, vol.950
2023, vol.951
2023, vol.952
2023, vol.953
2023, vol.954
2023, vol.955
2023, vol.956
2023, vol.957
2023, vol.958
2023, vol.959
2023, vol.960
2023, vol.961
2023, vol.962
2023, vol.963
2023, vol.964
2023, vol.965
2023, vol.966/967
2023, vol.968
2023, vol.969
2023, vol.970
2023, vol.971
2023, vol.972
2023, vol.973
2023, vol.974
2023, vol.975
2023, vol.976
2023, vol.977
2023, vol.978
2023, vol.979
2023, vol.980
题名
作者
出版年
年卷期
Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements
Nourine L.; Vilmin S.
2023
2023, vol.969
On the parameterized complexity of s-club cluster deletion problems
Montecchiani F.; Ortali G.; Piselli T.; Tappini A.
2023
2023, vol.969
Iterated uniform finite-state transducers on unary languages
Malcher A.; Mereghetti C.; Palano B.; Kutrib M.
2023
2023, vol.969
Trains, games, and complexity: 0/1/2-player motion planning through input/output gadgets
Ani J.; Demaine E.D.; Hendrickson D.H.; Lynch J.
2023
2023, vol.969
Efficient computation of arbitrary control dependencies
Lechenet J.-C.; Le Gall P.; Kosmatov N.
2023
2023, vol.969
Untangling temporal graphs of bounded degree
Dondi R.
2023
2023, vol.969
Justifying groups in multiwinner approval voting
Elkind E.; Faliszewski P.; Igarashi A.; Manurangsi P.; Schmidt-Kraepelin U.; Suksompong W.
2023
2023, vol.969
The cut operation in subclasses of convex languages
Hospodar M.; Olejar V.
2023
2023, vol.969
制造业外文文献服务平台