Volume 320; Issue 2-3

Theoretical Computer Science

Volume 320; Issue 2-3
1

On groups whose word problem is solved by a~counter automaton

Gillian Z. Elston, Gretchen Ostheimer
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 233 KB
english, 2004
2

String-matching with OBDDs

Ch. Choffrut, Y. Haddad
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 236 KB
english, 2004
4

A note on measuring in P

Olivier Powell
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 293 KB
english, 2004
6

Combined super-/substring and super-/subsequence problems

Martin Middendorf, David F. Manlove
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 303 KB
english, 2004
7

Paired-domination in inflated graphs

Liying Kang, Moo Young Sohn, T.C.E. Cheng
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 232 KB
english, 2004
8

The size of SPP

John M. Hitchcock
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 221 KB
english, 2004
10

Deletion along trajectories

Michael Domaratzki
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 325 KB
english, 2004
11

On the state complexity of reversals of regular languages

Arto Salomaa, Derick Wood, Sheng Yu
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 242 KB
english, 2004
12

Algorithms for multi-level graph planarity testing and layout

Patrick Healy, Ago Kuusik
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 267 KB
english, 2004
14

Algorithms for four variants of the exact satisfiability problem

Vilhelm Dahllöf, Peter Jonsson, Richard Beigel
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 304 KB
english, 2004
15

An algorithmic view of gene teams

Marie-Pierre Béal, Anne Bergeron, Sylvie Corteel, Mathieu Raffinot
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 378 KB
english, 2004
16

On the number of nonterminals in linear conjunctive grammars

Alexander Okhotin
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 399 KB
english, 2004
17

On probabilistic analog automata

Asa Ben-Hur, Alexander Roitershtein, Hava T. Siegelmann
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 297 KB
english, 2004
19

New spectral lower bounds on the bisection width of graphs

S. Bezrukov, R. Elsässer, B. Monien, R. Preis, J.-P. Tillich
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 319 KB
english, 2004
20

Author index

Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 189 KB
english, 2004
21

Master index

Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 336 KB
english, 2004
23

String-matching with OBDDs

CHOFFRUT, C
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 236 KB
english, 2004
24

The size of SPP

HITCHCOCK, J
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 221 KB
english, 2004
25

Algorithms for four variants of the exact satisfiability problem

DAHLLOF, V
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 304 KB
english, 2004
26

On the state complexity of reversals of regular languages

SALOMAA, A
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 242 KB
english, 2004
27

On probabilistic analog automata

BENHUR, A
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 297 KB
english, 2004
28

Combined super-/substring and super-/subsequence problems

MIDDENDORF, M
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 303 KB
english, 2004
29

Bounding the firing synchronization problem on a ring

BERTHIAUME, A
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 227 KB
english, 2004
30

A note on measuring in P

POWELL, O
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 293 KB
english, 2004
31

On groups whose word problem is solved by a$tilde;counter automaton

ELSTON, G
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 233 KB
english, 2004
32

Algorithms for multi-level graph planarity testing and layout

HEALY, P
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 267 KB
english, 2004
33

Paired-domination in inflated graphs

KANG, L
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 232 KB
english, 2004
34

Deletion along trajectories*1

DOMARATZKI, M
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 325 KB
english, 2004
35

On the number of nonterminals in linear conjunctive grammars*1

OKHOTIN, A
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 399 KB
english, 2004
38

New spectral lower bounds on the bisection width of graphs*1

BEZRUKOV, S
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 319 KB
english, 2004
39

Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances

COCCO, S
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 548 KB
english, 2004
40

An algorithmic view of gene teams

BEAL, M
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 378 KB
english, 2004