Volume 328; Issue 1-2

Theoretical Computer Science

Volume 328; Issue 1-2
1

An optimal pre-determinization algorithm for weighted transducers

Cyril Allauzen, Mehryar Mohri
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 258 KB
english, 2004
3

Branching automata with costs—a way of reflecting parallelism in costs

Dietrich Kuske, Ingmar Meinecke
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 316 KB
english, 2004
4

Acyclic networks maximizing the printing complexity

Franck Guingne, Florent Nicart, André Kempe
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 234 KB
english, 2004
5

Ternary directed acyclic word graphs

Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 277 KB
english, 2004
6

Weak minimization of DFA—an algorithm and applications

B. Ravikumar, G. Eisman
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 253 KB
english, 2004
7

Reducing the time complexity of testing for local threshold testability

A.N. Trahtman
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 226 KB
english, 2004
8

On binary -NFAs and succinct descriptions of regular languages

Lynette van Zijl
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 196 KB
english, 2004
9

Reachability solution characterization of parametric real-time systems

Farn Wang, Hsu-Chun Yen
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 273 KB
english, 2004
11

Editorial board v-ix

Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 107 KB
english, 2004
12

Editorial

Oscar H. Ibarra
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 112 KB
english, 2004
13

Introducing VAUCANSON

Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 249 KB
english, 2004
14

Bideterministic automata and minimal representations of regular languages

Hellis Tamm, Esko Ukkonen
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 241 KB
english, 2004
15

A formal frame for robust parsing

M. Vilares, V.M. Darriba, J. Vilares, F.J. Ribadas
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 249 KB
english, 2004