Oliver Schoett

According to our database¹, Oliver Schoett authored at least 5 papers between 1983 and 1992.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1992

Two Impossibility Theorems on Behaviour Specification of Abstract Data Types.

[BibT_eX]

[DOI]

Acta Informatica, 1992

1991

An Observational Subset of First-Order Logic Cannot Specify the Behaviour of a Counter (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the STACS 91, 1991

1990

Behavioural Correctness of Data Representations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1990

1986

Data abstraction and the correctness of modular programming.

[BibT_eX]

[DOI]

PhD thesis, 1986

1983

Is Data Abstraction Sound?

[BibT_eX]

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983