×

Found 9 Documents (Results 1–9)

On transfinite Knuth-Bendix orders. (English) Zbl 1341.68194

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 384-399 (2011).
MSC:  68T15 03B35 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Transforming SAT into termination of rewriting. (English) Zbl 1347.68202

Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 199-214 (2009).
MSC:  68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software