Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

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

  • HISTORISCHE NOTIZEN
  • AXEL THUE UND DIE TERMERSETZUNG
  • Published:
Informatik-Spektrum Aims and scope

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  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

Author information

Authors and Affiliations

  1. Lehrstuhl Informatik 7, RWTH Aachen, 52056, Aachen, Deutschland

    Wolfgang Thomas

Authors
  1. Wolfgang Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Wolfgang Thomas.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Thomas, W. ,,When nobody else dreamed of these things“ – Axel Thue und die Termersetzung. Informatik Spektrum 33, 504–508 (2010). https://doi.org/10.1007/s00287-010-0468-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00287-010-0468-9

Search

Navigation