How to compare the power of computational models (2005)

by U Boker, N Dershowitz
Venue:In Computability in Europe 2005: New Computational Paradigms