Volume 40; Issue none

Theoretical Computer Science

Volume 40; Issue none
1

Editorial Board

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 103 KB
english, 1985
2

Foreword

J. Paredaens
Journal:
Theoretical Computer Science
Year:
1985
File:
PDF, 21 KB
1985
3

On three-element codes

Juhani Karhumäki
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 498 KB
english, 1985
5

Robust algorithms: A different approach to oracles

Uwe Schöning
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 545 KB
english, 1985
7

n-level rewriting systems

G. Bauer
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 772 KB
english, 1985
8

On the verifiability of two-party algebraic protocols

Ronald V. Book, Friedrich Otto
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.95 MB
english, 1985
9

On total regulators generated by derivation relations

W. Bucher, A. Ehrenfeucht, D. Haussler
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.10 MB
english, 1985
10

CTS systems and Petri nets

Ij.J. Aalbersberg, G. Rozenberg
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 837 KB
english, 1985
12

On the structure of one-tape nondeterministic turing machine time hierarchy

Kojiro Kobayashi
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 983 KB
english, 1985
13

While-programs with nondeterministic assignments and the logic ALNA

Gianfranco Mascari, Marisa Venturini Zilli
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.10 MB
english, 1985
14

On bounded query machines

Jose L. Balcázar, Ronald V. Book, Uwe Schöning
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 452 KB
english, 1985
15

Homogeneous decomposition of stochastic systems

Taiho Kanaoka, Singo Tomita
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 599 KB
english, 1985
16

Transitive closure and related semiring properties via eliminants

S.Kamal Abdali, B.David Saunders
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 792 KB
english, 1985
17

Reducibility of synchronization structures

A. Ginburg, M. Yoeli
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 640 KB
english, 1985
18

On recursive path ordering

M.S. Krishnamoorthy, P. Narendran
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 309 KB
english, 1985
19

Algebraic calculi of processes and net expressions

Georges Gonthier
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 446 KB
english, 1985
20

Contents EATCS bulletin No. 27, October 1985

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 159 KB
english, 1985
21

Author index volume 40 (1985)

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 76 KB
english, 1985
22

Master index volumes 31–40

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 620 KB
english, 1985
23

Rational languages and the Burnside problem

Antonio Restivo, Christophe Reutenaeur
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.05 MB
english, 1985
24

Implications of forbidden structures for extremal algorithmic problems

Ming-Deh A. Huang, Karl J. Lieberherr
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 884 KB
english, 1985
25

Parallel and sequential computation on Boolean networks

F. Fogelman-Soulié
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.28 MB
english, 1985
26

On greibach normal form construction

Friedrich J. Urbanek
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 128 KB
english, 1985
27

A lower bound for polynomial multiplication

Michael Kaminski
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 197 KB
english, 1985