Thomas Olnhoff

According to our database¹, Thomas Olnhoff authored at least 3 papers between 1980 and 1981.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1981

Funktionale Semantikbeschreibung von Anfrageoperationen in einem drei-schichtigen relationalen Datenbanksystem.

[BibT_eX]

[DOI]

PhD thesis, 1981

Building Data Base Management Systems Through Formal Specification.

[BibT_eX]

[DOI]

Proceedings of the Formalization of Programming Concepts, 1981

1980

The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System.

[BibT_eX]

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980