Nachum Dershowitz (dershowitz-n)

Contributi a Philosophie.ch

Bibliography

Blass, Andreas, Dershowitz, Nachum and Gurevich, Yuri. 2009. “When are Two Algorithms the Same?” The Bulletin of Symbolic Logic 15(2): 145–168.
Blass, Andreas, Dershowitz, Nachum and Reisig, Wolfgang, eds. 2010. Fields of Logic and Computation. Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Berlin: Springer, doi:10.1007/978-3-642-15025-8.
Dershowitz, Nachum. 1985. “Synthetic Programming.” Artificial Intelligence 25(3): 323–373.
Dershowitz, Nachum and Gurevich, Yuri. 2008. “A Natural Axiomatization of Computability and Proof of Church’s Thesis.” The Bulletin of Symbolic Logic 14(3): 299–350.
Dershowitz, Nachum and Jouannaud, J.-P. 1990. “Rewrite Systems.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 243–320. Cambridge, Massachusetts: The MIT Press.