Heinz Kaphengst

Initial Algebraic Semantics for Non Context-Free Languages

Horst Reichel, Heinz Kaphengst, H. Reichel, 1977, FCT.

Zum Aufbau Einer Mehrsortigen Elementaren Logik

Heinz Kaphengst, 1985, Math. Log. Q..

What is Computable for Abstract Data Types?

Heinz Kaphengst, Heinz Kaphengst, H. Kaphengst, 1981, FCT.

Experience with abstract data type specifications in a compiler project

Heinz Kaphengst, Ulrich L. Hupbach, 1983 .

MALZEW‐RÄUME, EIN ALLGEMEINER BEGRIFF DER REKURSIVEN ABBILDUNG

Heinz Kaphengst, 1969 .

Eine Abstrakte Programmgesteuerte Rechenmaschine

Heinz Kaphengst, 1959 .