×

Found 3 Documents (Results 1–3)

Encoding dependency pair techniques and control strategies for maximal completion. (English) Zbl 1465.68126

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 152-162 (2015).
MSC:  68Q42 68V15
PDFBibTeX XMLCite
Full Text: DOI

KBCV – Knuth-Bendix completion visualizer. (English) Zbl 1358.68160

Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 530-536 (2012).
MSC:  68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

Formalizing Knuth-Bendix orders and Knuth-Bendix completion. (English) Zbl 1356.68201

van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 287-302 (2013).
MSC:  68T15 03B35 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field