Volume 12; Issue 3

Theoretical Computer Science

Volume 12; Issue 3
1

Unique fixed points vs. least fixed points

Jerzy Tiuryn
Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 2.46 MB
english, 1980
2

Local constraints in programming languages part I: syntax

Aravind K. Joshi, Leon S. Levy, Kang Yueh
Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 2.59 MB
english, 1980
3

Negation can be exponentially powerful

L.G. Valiant
Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 1.21 MB
english, 1980
4

Selection and sorting with limited storage

J.I. Munro, M.S. Paterson
Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 971 KB
english, 1980
5

Minimal complete sets of words

Jean Marie Boë, Aldo de Luca, Antonio Restivo
Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 770 KB
english, 1980
7

On a bound for the D0L sequence equivalence problem

A. Ehrenfeucht, G. Rozenberg
Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 347 KB
english, 1980
8

Author index : Volume 12 (1980)

Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 109 KB
english, 1980
9

Determining the mode

David Dobkin, J.Ian Munro
Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 1001 KB
english, 1980
10

Complexity, convexity and combinations of theories

Derek C. Oppen
Journal:
Theoretical Computer Science
Year:
1980
Language:
english
File:
PDF, 1.44 MB
english, 1980