×

Found 3 Documents (Results 1–3)

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software