Three Paths to Effectiveness-Reference-Cited by-同舟云学术

Three Paths to Effectiveness

Published:2010 Issue: Volume: Page:135-146
ISSN:0302-9743
Container-title:Fields of Logic and Computation
language:
Short-container-title:

Author:

Boker Udi,Dershowitz Nachum

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15025-8_7

Reference18 articles.

1. Blass, A., Dershowitz, N., Gurevich, Y.: Exact exploration. Technical Report MSR-TR-2009-99, Microsoft Research, Redmond, WA (2010), http://research.microsoft.com/pubs/101597/Partial.pdf;

2. A short version to appear as Algorithms in a world without full equality. In: The Proceedings of the 19th EACSL Annual Conference on Computer Science Logic, Brno, Czech Republic. LNCS. Springer, Heidelberg (August 2010)

3. Boker, U., Dershowitz, N.: Comparing computational power. Logic Journal of the IGPL 14, 633–648 (2006)

4. Lecture Notes in Computer Science;U. Boker,2008

5. Boker, U., Dershowitz, N.: The influence of domain interpretations on computational models. Journal of Applied Mathematics and Computation 215, 1323–1339 (2009)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Algorithms, Effective Procedures, and Their Definitions;Philosophia Mathematica;2023-07-29

2. ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS;The Review of Symbolic Logic;2020-07-22

3. On the parallel computation thesis;Logic Journal of IGPL;2016-03-14

4. Axiomatizing Analog Algorithms;Pursuit of the Universal;2016

5. Generic Parallel Algorithms;Language, Life, Limits;2014