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
Annotatsiya
Annotatsiya mavjud emas.
Identifikatorlar
Iqtiboslar va manbalar
13 ta iqtibos0 ta foydalanilgan manba