

Period of time: 2014年2期
Publisher: Springer Publishing Company
Founded in: 1966
Total resources: 31
ISSN: 1432-4350
Subject: O1 Mathematics
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Theory of Computing Systems,volume 53,issue 2
Menu

Preface of Special Issue on Theoretical Aspects of Computer Science
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.
Series Parallel Digraphs with Loops: Graphs Encoded by Regular Expression
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.
Extended Regular Expressions: Succinctness and Decidability
By Freydenberger Dominik in (2013)
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.
By Bojańczyk Mikołaj in (2013)
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.

Spectral Sparsification in the Semi-streaming Setting
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.
Vertex Cover Kernelization Revisited: Upper and Lower Bounds for a Refined Parameter
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.
Online Scheduling with Interval Conflicts
By Halldórsson Magnús in (2013)
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.
Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
Theory of Computing Systems,volume 53,issue 2 , Vol. 53, Iss. 2, 2013-08 , pp.