Reichel, Horst
Initial computability, algebraic specifications and partial algebras
Horst Reichel
- Oxford Clarendon Press 1987
- 221p.
0 19 853806 5
Electronic data processing - Mathematics
Data structures (Computer Science)
Programming languages (Electronic Computers) - semantics
Partial algebras