Fundraising September 15, 2024 – October 1, 2024 About fundraising

Volume 163; Issue 1-2

Theoretical Computer Science

Volume 163; Issue 1-2
1

Games for the μ-calculus

Damian Niwiński, Igor Walukiewicz
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 1.25 MB
english, 1996
3

A framework for a theory of automated learning

E. Hausen-Tropper
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 903 KB
english, 1996
4

Frequency computation and bounded queries

Richard Beigel, William Gasarch, Efim Kinber
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 1014 KB
english, 1996
5

Free shuffle algebras in language varieties

Stephen L. Bloom, Zoltán Ésik
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 2.49 MB
english, 1996
7

Computing minimum with primitive recursion over lists

Daniel Fredholm
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 487 KB
english, 1996
8

Exploiting few inversions when sorting: Sequential and parallel algorithms

Christos Levcopoulos, Ola Petersson
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 1.75 MB
english, 1996
9

On a small class of Boolean sums

Tatsuie Tsukiji
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 442 KB
english, 1996
10

Dynamical behaviour of Coven's aperiodic cellular automata

F. Blanchard, A. Maass
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 831 KB
english, 1996
11

There is no local characterization of separating and thin objects in Z3

Rémy Malgouyres
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 288 KB
english, 1996
12

Regular expression for a language without empty word

Djelloul Ziadi
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 373 KB
english, 1996
13

A shrinking lemma for indexed languages

Robert H. Gilman
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 350 KB
english, 1996
14

Author index volume 163 (1996)

Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 58 KB
english, 1996
15

A three-word code which is not prefix-suffix composed

Denis Derencourt
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 1001 KB
english, 1996
16

Basic notions of universal algebra for language theory and graph grammars

Bruno Courcelle
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 3.58 MB
english, 1996
17

Optimal heapsort algorithm

Gu Xunrang, Zhu Yuzhang
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 232 KB
english, 1996
18

On the vector space of the automatic reals

Siegfried Lehr, Jeffrey Shallit, John Tromp
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 1.02 MB
english, 1996
19

On group codes

Dongyang Long
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 534 KB
english, 1996
20

Editorial Board

Journal:
Theoretical Computer Science
Year:
1996
File:
PDF, 277 KB
1996