Publisher
Springer Berlin Heidelberg
Reference54 articles.
1. Lecture Notes in Computer Science;A.M. Ben-Amram,2002
2. Bockmayr, A.: A note on a canonical theory with undecidable unification and matching problem. J. Automated Reasoning 3(4), 379–381 (1987)
3. Boker, U., Dershowitz, N.: A formalization of the Church-Turing Thesis, Available at,
http://www.cs.tau.ac.il/~nachum/papers/ChurchTuringThesis.pdf
4. Boker, U., Dershowitz, N.: Comparing computational power. Logic Journal of the IGPL (2006) (to appear), Available at,
http://www.cs.tau.ac.il/~nachum/papers/ComparingComputationalPower.pdf
5. Boker, U., Dershowitz, N.: A hypercomputational alien. J. of Applied Mathematica & Computation (2006) (to appear), available at,
http://www.cs.tau.ac.il/~nachum/papers/HypercomputationalAlien.pdf