Volume 46; Issue 1

Theory of Computing Systems

Volume 46; Issue 1
1

Generic Complexity of Presburger Arithmetic

Alexander N. Rybalov
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 270 KB
english, 2010
2

On the Complexity of Matrix Rank and Rigidity

Meena Mahajan, Jayalal M. N. Sarma
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 496 KB
english, 2010
3

Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth

Artur Jeż, Alexander Okhotin
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 657 KB
english, 2010
4

A Fast Algorithm for the Path 2-Packing Problem

Maxim A. Babenko
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 668 KB
english, 2010
7

Efficient Algorithms for Sparse Cyclotomic Integer Zero Testing

Qi Cheng, Sergey P. Tarasov, Mikhail N. Vyalyi
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 538 KB
english, 2010
9

Preface

Sergei Artemov, Volker Diekert, Dima Grigoriev
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 90 KB
english, 2010