Heinz Kaphengst

Affiliations:

According to our database¹, Heinz Kaphengst authored at least 3 papers between 1977 and 1985.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1985

Zum Aufbau Einer Mehrsortigen Elementaren Logik.

[BibT_eX]

[DOI]

Math. Log. Q., 1985

1981

What is Computable for Abstract Data Types?

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1981

1977

Initial Algebraic Semantics for Non Context-Free Languages.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1977