The top documents tagged [recursive function algorithm]

A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.

A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.

224 views
A natural axiomatization of computability and proof of Church’s thesis

A natural axiomatization of computability and proof of Church’s thesis

45 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS