Volume 100; Issue 2

Theoretical Computer Science

Volume 100; Issue 2
1

Intersection types for combinatory logic

Année:
1992
Langue:
english
Fichier:
PDF, 1.16 MB
english, 1992
2

Foundations of a theory of synchronous systems

Année:
1992
Langue:
english
Fichier:
PDF, 1.35 MB
english, 1992
3

On characterizing boundedness of database schemes with bounded dependencies

Année:
1992
Langue:
english
Fichier:
PDF, 1.26 MB
english, 1992
4

Combining angels, demons and miracles in program specifications

Année:
1992
Langue:
english
Fichier:
PDF, 1.19 MB
english, 1992
5

Author index volume 100 (1992)

Année:
1992
Langue:
english
Fichier:
PDF, 66 KB
english, 1992
6

Master index volumes 91–100

Année:
1992
Langue:
english
Fichier:
PDF, 552 KB
english, 1992
7

Final algebras, cosemicomputable algebras and degrees of unsolvability

Année:
1992
Langue:
english
Fichier:
PDF, 2.52 MB
english, 1992
8

Universal algebra in higher types

Année:
1992
Langue:
english
Fichier:
PDF, 2.05 MB
english, 1992