1
Publicat 2005
Taula de continguts: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Obtenir text complet
Electrònic eBook
2
Publicat 2015
Taula de continguts: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Obtenir text complet
Electrònic eBook