Jump to content

Bibtex:Luc06

From Termination-Portal.org

BibTex

<bibtex> @article{Lucas06,

 author    = {Salvador Lucas},
 title     = {On the relative power of polynomials with real, rational,
              and integer coefficients in proofs of termination of rewriting},
 journal   = {Applicable Algebra in Engineering, Communication and Computing,},
 volume    = {17},
 number    = {1},
 year      = {2006},
 pages     = {49-73},

}



</bibtex>