Volume 32; Issue 1-2

Theoretical Computer Science

Volume 32; Issue 1-2
1

Editorial Board

Year:
1984
Language:
english
File:
PDF, 151 KB
english, 1984
2

On graph rewritings

Year:
1984
Language:
english
File:
PDF, 1.86 MB
english, 1984
3

Efficient inference control for range Sum queries

Year:
1984
Language:
english
File:
PDF, 973 KB
english, 1984
4

Distributive semantics for nondeterministic typed λ-calculi

Year:
1984
Language:
english
File:
PDF, 3.63 MB
english, 1984
5

Connections in acyclic hypergraphs

Year:
1984
Language:
english
File:
PDF, 1.54 MB
english, 1984
6

Biprefix codes, inverse semigroups and syntactic monoids of injective automata

Year:
1984
Language:
english
File:
PDF, 1.19 MB
english, 1984
7

A geometric construction of a superconcentrator of depth 2

Year:
1984
Language:
english
File:
PDF, 416 KB
english, 1984
8

A tradeoff theorem for space and reversal

Year:
1984
Language:
english
File:
PDF, 344 KB
english, 1984
9

Contents EATCS Bulletin : No. 23, June 1984

Year:
1984
Language:
english
File:
PDF, 175 KB
english, 1984
10

A linear-history semantics for languages for distributed programming

Year:
1984
Language:
english
File:
PDF, 2.25 MB
english, 1984
11

Linear indexed languages

Year:
1984
Language:
english
File:
PDF, 1.26 MB
english, 1984
12

The Nielsen reduction and P-complete problems in free groups

Year:
1984
Language:
english
File:
PDF, 1.56 MB
english, 1984
14

A parallel-design distributed-implementation (PDDI) general-purpose computer

Year:
1984
Language:
english
File:
PDF, 1.81 MB
english, 1984
15

Petri nets and large finite sets

Year:
1984
Language:
english
File:
PDF, 1.06 MB
english, 1984