DMCA

A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS (2008)

by Nachum Dershowitz , Yuri Gurevich
Citations:39 - 17 self