Results: 10
Nominal Monoids.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 194, doi. 10.1007/s00224-013-9464-1
- By:
- Publication type:
- Article
Stochastic Cellular Automata Solutions to the Density Classification Problem.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 223, doi. 10.1007/s00224-012-9386-3
- By:
- Publication type:
- Article
Extended Regular Expressions: Succinctness and Decidability.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 159, doi. 10.1007/s00224-012-9389-0
- By:
- Publication type:
- Article
Spectral Sparsification in the Semi-streaming Setting.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 243, doi. 10.1007/s00224-012-9396-1
- By:
- Publication type:
- Article
Preface of Special Issue on Theoretical Aspects of Computer Science.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
Vertex Cover Kernelization Revisited.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 263, doi. 10.1007/s00224-012-9393-4
- By:
- Publication type:
- Article
Series Parallel Digraphs with Loops.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 126, doi. 10.1007/s00224-012-9409-0
- By:
- Publication type:
- Article
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 341, doi. 10.1007/s00224-013-9454-3
- By:
- Publication type:
- Article
Online Scheduling with Interval Conflicts.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 300, doi. 10.1007/s00224-012-9408-1
- By:
- Publication type:
- Article
Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification.
- Published in:
- Theory of Computing Systems, 2013, v. 53, n. 2, p. 318, doi. 10.1007/s00224-013-9479-7
- By:
- Publication type:
- Article