DMCA

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

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