Bibtex:FNOGLS08

From Termination-Portal.org
Jump to: navigation, 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
Personal tools