,,When nobody else dreamed of these things“ – Axel Thue und die Termersetzung

1. Baader F, Nipkow T (1998) Term Rewriting and All That. Cambridge University Press, Cambridge

   Google Scholar 

2. Biggs NL, Lloyd EK, Wilson RJ (1976) Graph Theory 1736–1936. Clarendon Press, Oxford

   MATH  Google Scholar 

3. Büchi JR (1989) Finite Automata, their Algebras and Grammars. Springer, New York

4. Church A (1936) An unsolvable problem of elementary number theory. Amer J Math 58:345–363

   Article  MathSciNet  Google Scholar 

5. Church A, Rosser JB (1936) Some properties of conversion. Trans Amer Math Soc 39:472–482

   MATH  MathSciNet  Google Scholar 

6. Curry HB (1930) Grundzüge der kombinatorischen Logik. Amer J Math 52:509–536

   Article  MATH  MathSciNet  Google Scholar 

7. Hilbert D (1901) Mathematische Probleme. Arch Math Phys 1:44–63, 213–237

   Google Scholar 

8. Knuth DE, Bendix PB (1970) Simple word problems in universal algebra. In: Leech J (ed) Computational Problems in Abstract Algebra. Pergamon Press, London, pp 263–297

   Google Scholar 

9. König D (1950) Theorie der endlichen und unendlichen Graphen. Chelsea Publ Comp, New York

   MATH  Google Scholar 

10. Lyndon RC, Schupp PE (1977) Combinatorial Group Theory. Springer, Berlin Heidelberg New York

    MATH  Google Scholar 

11. Matiyasevich Y (1993) Hilbert’s Tenth Problem. MIT Press, Cambridge, MA

    Google Scholar 

12. Nagel T, Selberg A, Selberg S, Thalberg K (eds) (1977) Selected Mathematical Papers of Axel Thue. Universitetsforlaget, Oslo

13. Post EL (1994) Recursive unsolvability of a problem of Thue. J Symb Logic 12(1):1–11. Nachdruck in: Davis M (ed) (1994) The Collected Works of Emil L. Post. Birkhäuser, Boston, pp 503–513

14. Steinby M, Thomas W (2000) Trees and term rewriting in 1910: on a paper by Axel Thue. Bull Eur Ass Theor Comput Sci 72:256–269

    MathSciNet  Google Scholar 

15. Thue A (1910) Die Lösung eines Spezialfalles eines generellen logischen Problems. Kra. Videnskabs-Selskabets Skrifter. I. Mat. Nat. Kl. 1910, No. 8, Kristiania 1910. Nachdruck in [12], S 273–310

16. Thue A (1914) Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln. Kra. Videnskabs-Selskabets Skrifter. I. Mat. Nat. Kl. 1914, No. 10, Kristiania 1914. Nachdruck in [12], S 493–524

Download references