Volume 100; Issue 2

Theoretical Computer Science

Volume 100; Issue 2
1

Intersection types for combinatory logic

Mariangiola Dezani-Ciancaglini, J.Roger Hindley
Journal:
Theoretical Computer Science
Year:
1992
Language:
english
File:
PDF, 1.16 MB
english, 1992
2

Foundations of a theory of synchronous systems

Miklós Bartha
Journal:
Theoretical Computer Science
Year:
1992
Language:
english
File:
PDF, 1.35 MB
english, 1992
3

On characterizing boundedness of database schemes with bounded dependencies

Ke Wang
Journal:
Theoretical Computer Science
Year:
1992
Language:
english
File:
PDF, 1.26 MB
english, 1992
4

Combining angels, demons and miracles in program specifications

R.J.R. Back, J. von Wright
Journal:
Theoretical Computer Science
Year:
1992
Language:
english
File:
PDF, 1.19 MB
english, 1992
5

Author index volume 100 (1992)

Journal:
Theoretical Computer Science
Year:
1992
Language:
english
File:
PDF, 66 KB
english, 1992
6

Master index volumes 91–100

Journal:
Theoretical Computer Science
Year:
1992
Language:
english
File:
PDF, 552 KB
english, 1992
8

Universal algebra in higher types

Karl Meinke
Journal:
Theoretical Computer Science
Year:
1992
Language:
english
File:
PDF, 2.05 MB
english, 1992