DBLP Record 'journals/ita/Rouyer91'

BibTeX

@article{DBLP:journals/ita/Rouyer91,
  author    = {J. Rouyer},
  title     = {Preuves de terminaison de syst{\`e}mes de r{\'e}{\'e}criture
               fond{\'e}es sur les interpr{\'e}tations polynomiales.
               Une m{\'e}thode bas{\'e}e sur le th{\'e}or{\`e}me
               de Sturm},
  journal   = {ITA},
  volume    = {25},
  year      = {1991},
  pages     = {157-170},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}