Volume 26; Issue 1-2

Theoretical Computer Science

Volume 26; Issue 1-2
1

Editorial Board

Journal:
Theoretical Computer Science
Year:
1983
File:
PDF, 100 KB
1983
2

The inclusion problem for some classes of deterministic multitape automata

E.B. Kinber
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 2.29 MB
english, 1983
3

Bandwidth constraints on problems complete for polynomial time

Ivan Hal Sudborough
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 3.17 MB
english, 1983
4

On finite computations in denotational semantics

J.W. de Bakker, J.-J.Ch. Meyer, J.I. Zucker
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 2.92 MB
english, 1983
5

Nivat's processing systems: decision problems related to protection and synchronization

S Istrail, C Masalagiu
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 1.67 MB
english, 1983
6

A more complete model of communicating processes

E.C.R. Hehner, C.A.R. Hoare
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 1.29 MB
english, 1983
7

Alternative semantics for temporal logics

E.Allen Emerson
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 984 KB
english, 1983
8

Admissible representations of effective cpo's

K. Weihrauch, G. Schäfer
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 1.53 MB
english, 1983
9

Order dependency in the relational model

Seymour Ginsburg, Richard Hull
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 4.65 MB
english, 1983
10

Simple programming languages and restricted classes of turing machines

Oscar H. Ibarra, Louis E. Rosier
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 2.36 MB
english, 1983
11

Rational Ω-languages are non-ambiguous

André Arnold
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 255 KB
english, 1983
12

Determinism in parallel systems

Vaclav Rajlich
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 584 KB
english, 1983
13

It is decidable whether a regular language is pure context-free

W. Bucher, J. Hagauer
Journal:
Theoretical Computer Science
Year:
1983
Language:
english
File:
PDF, 785 KB
english, 1983