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> ...)
 
Line 21: Line 21:
 
               Masakazu Suzuki and
 
               Masakazu Suzuki and
 
               Freek Wiedijk},
 
               Freek Wiedijk},
address = {Birmingham, UK}
+
address = {Birmingham, UK }
 
}
 
}
  

Revision as of 14:53, 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