Where academic tradition
meets the exciting future

Trees and Term Rewriting in 1910: On a Paper by Axel Thue

Magnus Steinby, Wolfgang Thomas, Trees and Term Rewriting in 1910: On a Paper by Axel Thue. EATCS Bulletin 72, 256-269, 2000.

BibTeX entry:

@ARTICLE{jStTha,
  title = {Trees and Term Rewriting in 1910: On a Paper by Axel Thue},
  author = {Steinby, Magnus and Thomas, Wolfgang},
  journal = {EATCS Bulletin},
  volume = {72},
  pages = {256-269},
  year = {2000},
  keywords = {word problems, term rewriting, trees},
}

Edit publication