Jump to content

Bibtex:FNOGLS08: Difference between revisions

From Termination-Portal.org
Balarcon (talk | contribs)
Balarcon (talk | contribs)
 
Line 5: Line 5:
<bibtex>
<bibtex>
@inproceedings{FNOGLS08,
@inproceedings{FNOGLS08,
   author    = {C. Fuhs,
   author    = {C. Fuhs, R. Navarro-Marset, C. Otto, J. Giesl, S. Lucas and P. Schneider-Kamp},
              R. Navarro-Marset,
              C. Otto,
              J. Giesl,
              S, Lucas and
              P, Schneider-Kamp},
   title    = {Search Techniques for Rational Polynomial Orders},
   title    = {Search Techniques for Rational Polynomial Orders},
   booktitle = {AISC/MKM/Calculemus},
   booktitle = {AISC/MKM/Calculemus},
   year      = {2008},
   year      = {2008},
   pages    = {109-124},
   pages    = {109-124},
  editor    = {Serge Autexier and
  editor    = {S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki and F. Wiedijk},
              John Campbell and
address = {Birmingham, UK },
              Julio Rubio and
              Volker Sorge and
              Masakazu Suzuki and
              Freek Wiedijk},
address = {Birmingham, UK }
}
}



Latest revision as of 15:03, 16 June 2009

BibTex

<bibtex> @inproceedings{FNOGLS08,

 author    = {C. Fuhs, R. Navarro-Marset, C. Otto, J. Giesl, S. Lucas and P. Schneider-Kamp},
 title     = {Search Techniques for Rational Polynomial Orders},
 booktitle = {AISC/MKM/Calculemus},
 year      = {2008},
 pages     = {109-124},
editor    = {S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki and F. Wiedijk},

address = {Birmingham, UK }, }



</bibtex>