Proving Church s Thesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuri Gurevich. Proving Church s Thesis. In Volker Diekert, Mikhail V. Volkov, Andrei Voronkov, editors, Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Volume 4649 of Lecture Notes in Computer Science, pages 1-3, Springer, 2007. [doi]

This author has not been identified. It may be one of the following persons:

Yuri Gurevich

Look up 'Yuri Gurevich' in Google

runs on WebDSL