A characterisation of computable data types by means of a finite equational specification method
J. A. BergstraDepartment of Computer Science, University of Leiden, Wassenaarseweg 80, 2300 RA, LEIDEN, The NetherlandsJohn V. Tucker
1980en
ABI
Аннотация
Аннотация отсутствует.
Идентификаторы
Цитирования и источники
Цитирований: 13Использованных источников: 0