From Termination-Portal.org
|
|
| (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}, |
| 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>
