Liu, Yezhou; Nicolescu, Radu; Sun, Jing Towards automated deduction in cP systems. (English) Zbl 07805741 Inf. Sci. 587, 435-449 (2022). MSC: 68-XX 81-XX PDFBibTeX XMLCite \textit{Y. Liu} et al., Inf. Sci. 587, 435--449 (2022; Zbl 07805741) Full Text: DOI
Cheney, James; Momigliano, Alberto \(\alpha\mathrm{Check}\): a mechanized metatheory model checker. (English) Zbl 1379.68236 Theory Pract. Log. Program. 17, No. 3, 311-352 (2017). MSC: 68Q60 03B70 68T15 PDFBibTeX XMLCite \textit{J. Cheney} and \textit{A. Momigliano}, Theory Pract. Log. Program. 17, No. 3, 311--352 (2017; Zbl 1379.68236) Full Text: DOI arXiv
Yamada, Akihisa; Winkler, Sarah; Hirokawa, Nao; Middeldorp, Aart AC-KBO revisited. (English) Zbl 1379.68277 Theory Pract. Log. Program. 16, No. 2, 163-188 (2016). MSC: 68T15 06A06 68Q42 PDFBibTeX XMLCite \textit{A. Yamada} et al., Theory Pract. Log. Program. 16, No. 2, 163--188 (2016; Zbl 1379.68277) Full Text: DOI
Kovács, Laura; Moser, Georg; Voronkov, Andrei 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 \textit{L. Kovács} et al., Lect. Notes Comput. Sci. 6803, 384--399 (2011; Zbl 1341.68194) Full Text: DOI
Zankl, Harald; Sternagel, Christian; Middeldorp, Aart 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 \textit{H. Zankl} et al., Electron. Notes Theor. Comput. Sci. 246, 199--214 (2009; Zbl 1347.68202) Full Text: DOI Link
Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart KBO orientability. (English) Zbl 1184.68303 J. Autom. Reasoning 43, No. 2, 173-201 (2009). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{H. Zankl} et al., J. Autom. Reasoning 43, No. 2, 173--201 (2009; Zbl 1184.68303) Full Text: DOI
Hirokawa, Nao; Middeldorp, Aart Tyrolean termination tool: techniques and features. (English) Zbl 1111.68048 Inf. Comput. 205, No. 4, 474-511 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{N. Hirokawa} and \textit{A. Middeldorp}, Inf. Comput. 205, No. 4, 474--511 (2007; Zbl 1111.68048) Full Text: DOI
Cheney, James Completeness and Herbrand theorems for nominal logic. (English) Zbl 1100.03016 J. Symb. Log. 71, No. 1, 299-320 (2006). MSC: 03B70 03B60 PDFBibTeX XMLCite \textit{J. Cheney}, J. Symb. Log. 71, No. 1, 299--320 (2006; Zbl 1100.03016) Full Text: DOI
Thiemann, René; Giesl, Jürgen The size-change principle and dependency pairs for termination of term rewriting. (English) Zbl 1101.68640 Appl. Algebra Eng. Commun. Comput. 16, No. 4, 229-270 (2005). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. Thiemann} and \textit{J. Giesl}, Appl. Algebra Eng. Commun. Comput. 16, No. 4, 229--270 (2005; Zbl 1101.68640) Full Text: DOI