Volume 80; Issue 2

Theoretical Computer Science

Volume 80; Issue 2
1

Preface

G. Mirkowska, A. Salwicki
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 21 KB
english, 1991
2

On the strength of temporal proofs

Hajnal Andréka, István Németi, Ildikó Sain
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 1.09 MB
english, 1991
4

Testing approximate symmetry in the plane is NP-hard

Sebastian Iwanowski
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 1.36 MB
english, 1991
5

Correctness of concurrent processes

Ernst-Rüdiger Olderog
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 948 KB
english, 1991
6

Space bounded computations: review and new separation results

Desh Ranjan, Richard Chang, Juris Hartmanis
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 564 KB
english, 1991
7

Finite constants: characterizations of a new decidable set of constants

Bernhard Steffen, Jens Knoop
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 583 KB
english, 1991
8

A Hoare-like verification system for a language with an exception handling mechanism

Danuta Szczepanska
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 577 KB
english, 1991
9

On the computational efficiency of symmetric neural networks

Juraj Wiedermann
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 542 KB
english, 1991
10

On sets polynomially enumerable by iteration

Lane A. Hemachandra, Albrecht Hoene, Dirk Siefkes, Paul Young
Journal:
Theoretical Computer Science
Year:
1991
Language:
english
File:
PDF, 979 KB
english, 1991