Author:
Blass Andreas,Gurevich Yuri,Rosenzweig Dean,Rossman Benjamin
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. What is the Natural Abstraction Level of an Algorithm?;Logic, Computation and Rigorous Methods;2021
2. Eventual Consistency Formalized;Lecture Notes in Computer Science;2019
3. The Generic Model of Computation;Electronic Proceedings in Theoretical Computer Science;2012-07-30
4. A Natural Axiomatization of Computability and Proof of Church's Thesis;Bulletin of Symbolic Logic;2008-09