Order sorted equational computation with semantical sorts
By: vorgelegt von Lars With
Contributors: Technische Hochschule Berlin
Edition: Mikrofiche-Ausg.
Publisher: [s.n.]
Published: 1994
Place of publication: [s.l.]
Language: ger
Number of pages: 89
Notes: Mikrofiche-Ausg.: 1 Mikrofiche : 24x.

Thesis (doctoral)--Technische Hochschule Berlin, 1994.