Bibtex:FNOGLS08
From Termination-Portal.org
Jump to navigationJump to searchBibTex
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