%0 Conference Paper %1 conf/aisc/FuhsNOGLS08 %A Fuhs, Carsten %A Navarro-Marset, Rafael %A Otto, Carsten %A Giesl, Jürgen %A Lucas, Salvador %A Schneider-Kamp, Peter %B AISC/MKM/Calculemus %D 2008 %E Autexier, Serge %E Campbell, John A. %E Rubio, Julio %E Sorge, Volker %E Suzuki, Masakazu %E Wiedijk, Freek %I Springer %K dblp %P 109-124 %T Search Techniques for Rational Polynomial Orders. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#FuhsNOGLS08 %V 5144 %@ 978-3-540-85109-7

@inproceedings{conf/aisc/FuhsNOGLS08, added-at = {2019-09-25T00:00:00.000+0200}, author = {Fuhs, Carsten and Navarro-Marset, Rafael and Otto, Carsten and Giesl, Jürgen and Lucas, Salvador and Schneider-Kamp, Peter}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29bb12c643d79c301503d2e4425db26dd/dblp}, booktitle = {AISC/MKM/Calculemus}, crossref = {conf/aisc/2008}, editor = {Autexier, Serge and Campbell, John A. and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek}, ee = {https://doi.org/10.1007/978-3-540-85110-3_10}, interhash = {fadae3567606b8a41642ec4ee005128a}, intrahash = {9bb12c643d79c301503d2e4425db26dd}, isbn = {978-3-540-85109-7}, keywords = {dblp}, pages = {109-124}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:27:02.000+0200}, title = {Search Techniques for Rational Polynomial Orders.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#FuhsNOGLS08}, volume = 5144, year = 2008 }