Heinz Kaphengst

Publication Activity (10 Years)

Years Active: 1977-1985
Publications (10 Years): 0

Publications

Heinz Kaphengst
Zum Aufbau Einer Mehrsortigen Elementaren Logik. Math. Log. Q. 31 (1-6) (1985)
Heinz Kaphengst
What is Computable for Abstract Data Types? FCT (1981)
Heinz Kaphengst, Horst Reichel
Initial Algebraic Semantics for Non Context-Free Languages. FCT (1977)