Volume 27; Issue 1-2

Theoretical Computer Science

Volume 27; Issue 1-2
1

Editorial Board

Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 222 KB
english, 1983
2

Editorial

M. Nivat
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 101 KB
english, 1983
4

Two-dimensional alternating turing machines

Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 2.26 MB
english, 1983
5

Subset languages of petri nets part II: Closure properties

G. Rozenberg, R. Verraedt
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 2.10 MB
english, 1983
6

The largest cartesian closed category of domains

Michael B. Smyth
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 1.02 MB
english, 1983
7

The propositional dynamic logic of deterministic, well-structured programs

Joseph Y. Halpern, John H. Reif
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 3.98 MB
english, 1983
8

The rank of a formal tree power series

Symeon Bozapalidis, Olympia Louscou-Bozapalidou
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 391 KB
english, 1983
9

Open maps for tessellation automata

Akira Maruoka
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 810 KB
english, 1983
10

Contents EACTS bulletin : No. 21, October 1983

Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 176 KB
english, 1983
11

Announcement

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

Algebraic relations and presentations

Tsutomu Kamimura, Adrian Tang
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 2.15 MB
english, 1983
13

One-way simple multihead finite automata are not closed under concatenation

Pavol Ďuriš, Juraj Hromkovič
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 511 KB
english, 1983
14

Algebraic domain equations

Hans-Dieter Ehrich, Udo Lipeck
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 2.85 MB
english, 1983
15

The comparison of the expressive power of first-order dynamic logics

A.P. Stolboushkin, M.A. Taitslin
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 1.41 MB
english, 1983
16

Separately continuous algebras

Jiři Adámek, Evelyn Nelson
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 673 KB
english, 1983