1
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2015
Tabl Cynhwysion: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Cael y testun llawn
Electronig eLyfr