Difference between revisions of "Bibtex:FNOGLS08"

From Termination-Portal.org
Jump to navigationJump to search
 
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

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