Difference between revisions of "Bibtex:FNOGLS08"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...)
(No difference)

Revision as of 14:52, 16 June 2009

BibTex

C. Fuhs, 

              R. Navarro-Marset,
              C. Otto,
              J. Giesl,

S, Lucas, P, Schneider-Kamp - Search Techniques for Rational Polynomial Orders

AISC/MKM/Calculemus pp. 109-124, Birmingham, UK,2008
Bibtex
Author : C. Fuhs, 
              R. Navarro-Marset,
              C. Otto,
              J. Giesl,
S, Lucas, P, Schneider-Kamp
Title : Search Techniques for Rational Polynomial Orders
In : AISC/MKM/Calculemus -
Address : Birmingham, UK
Date : 2008
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:FNOGLS08&oldid=858"