Bibtex:FNOGLS08

From Termination-Portal.org
Revision as of 15:03, 16 June 2009 by Balarcon (talk | contribs) (→‎BibTex)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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