-
35201
-
35202
-
35203
-
35204
-
35205
-
35206
-
35207
On type systems for object-oriented database programming languages.
Gepubliceerd in ACM computing surveys.Artikel -
35208
-
35209
Formal methods state of the art and future directions.
Gepubliceerd in ACM computing surveys.Artikel -
35210
A logical foundation for deductive object-oriented databases.
Gepubliceerd in ACM transactions on database systems.Artikel


