Normal view
MARC view
Relchel Horst(Personal Name)
Machine generated authority record.
Work cat.: (OSt)809322: Relchel Horst, Initial computability, algebraic specifications and partial algebras, 1987