Author:
Avron Arnon,Dershowitz Nachum,Rabinovich Alexander
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Boris Abramovich Trakhtenbrot;Russian Mathematical Surveys;2022-02-01
2. Борис Абрамович Трахтенброт (к столетию со дня рождения);Uspekhi Matematicheskikh Nauk;2022
3. A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-;Electronic Proceedings in Theoretical Computer Science;2012-07-30
4. Honest universality;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2012-07-28
5. Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case;Electronic Proceedings in Theoretical Computer Science;2011-11-16