Volume 13; Issue 4

2

Type-extension type test can be performed in constant time

Year:
1991
Language:
english
File:
PDF, 218 KB
english, 1991
6

Automatic generation and use of abstract structure operators

Year:
1991
Language:
english
File:
PDF, 1.55 MB
english, 1991
7

Subtypes and quantification

Year:
1991
Language:
english
File:
PDF, 100 KB
english, 1991