Volume 52; Issue 3

Theoretical Computer Science

Volume 52; Issue 3
1

The membership and equivalence problems for picture languages

Changwook Kim, Ivan Hal Sudborough
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 1.46 MB
english, 1987
2

Distributed sorting algorithms for multi-channel broadcast networks

John M. Marberg, Eli Gafni
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 1.27 MB
english, 1987
3

Models of lower-bounds proofs

R.G. Nigmatullin
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 1.23 MB
english, 1987
4

On characterizations of the class PSPACE/poly

J.L. Balcázar, J. Díaz, J. Gabarró
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 1.88 MB
english, 1987
5

Stationary deterministic flows: II. The single-server queue

Erol Gelenbe, David Finkel
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 912 KB
english, 1987
6

On flowchart theories: Part II. The nondeterministic case

Gh. Ştefǎnescu
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 3.13 MB
english, 1987
8

A syntactic theory of sequential control

Matthias Felleisen, Daniel P. Friedman, Eugene Kohlbecker, Bruce Duba
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 3.71 MB
english, 1987
9

Domain-independent formulas and databases

Rodney W. Topor
Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 2.77 MB
english, 1987
10

Author index volume 52 (1987)

Journal:
Theoretical Computer Science
Year:
1987
Language:
english
File:
PDF, 59 KB
english, 1987