Volume 380; Issue 1-2

Theoretical Computer Science

Volume 380; Issue 1-2
1

Preface

Giuseppe F. Italiano, Catuscia Palamidessi
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 102 KB
english, 2007
2

A tight linear bound on the synchronization delay of bijective automata

Eugen Czeizler, Jarkko Kari
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 405 KB
english, 2007
6

On dynamic bit-probe complexity

Mihai Paˇtraşcu, Corina E. Tarniţaˇ
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 428 KB
english, 2007
8

New up-to techniques for weak bisimulation

Damien Pous
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 423 KB
english, 2007
10

Comparing the size of NFAs with and without -transitions

Juraj Hromkovič, Georg Schnitger
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 392 KB
english, 2007
11

Editorial Board

Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 68 KB
english, 2007
12

Weighted automata and weighted logics

Manfred Droste, Paul Gastin
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 406 KB
english, 2007
13

The quantum query complexity of the abelian hidden subgroup problem

Pascal Koiran, Vincent Nesme, Natacha Portier
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 407 KB
english, 2007
14

Discrete random variables over domains

Michael Mislove
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 420 KB
english, 2007
15

On the cover time and mixing time of random geometric graphs

Chen Avin, Gunes Ercal
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 693 KB
english, 2007