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> ...) |
(→BibTex) |
||
(One intermediate revision by the same user not shown) | |||
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}, |
− | |||
− | |||
− | |||
− | |||
− | |||
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 = { | + | editor = {S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki and F. Wiedijk}, |
− | + | address = {Birmingham, UK }, | |
− | |||
− | |||
− | |||
− | |||
− | 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
- BibtexAuthor : 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