Alarcón, Beatriz; Gutiérrez, Raúl; Lucas, Salvador; Navarro-Marset, Rafael Proving termination properties with mu-term. (English) Zbl 1308.68068 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 201-208 (2011). MSC: 68Q42 PDFBibTeX XMLCite \textit{B. Alarcón} et al., Lect. Notes Comput. Sci. 6486, 201--208 (2011; Zbl 1308.68068) Full Text: DOI
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. (English) Zbl 1250.68184 Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 294-305 (2009). MSC: 68Q60 68N30 68T15 PDFBibTeX XMLCite \textit{C. Borralleras} et al., Lect. Notes Comput. Sci. 5663, 294--305 (2009; Zbl 1250.68184) Full Text: DOI Link
Fuhs, Carsten; Navarro-Marset, Rafael; Otto, Carsten; Giesl, Jürgen; Lucas, Salvador; Schneider-Kamp, Peter Search techniques for rational polynomial orders. (English) Zbl 1166.68354 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 109-124 (2008). MSC: 68T20 68Q42 68T15 PDFBibTeX XMLCite \textit{C. Fuhs} et al., Lect. Notes Comput. Sci. 5144, 109--124 (2008; Zbl 1166.68354) Full Text: DOI