Meseguer, José; Skeirik, Stephen On ground convergence and completeness of conditional equational program hierarchies. (English) Zbl 1514.68039 Bae, Kyungmin (ed.), Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2–3, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13252, 191-211 (2022). MSC: 68N30 68N18 68Q42 68V15 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Lect. Notes Comput. Sci. 13252, 191--211 (2022; Zbl 1514.68039) Full Text: DOI
Skeirik, Stephen; Meseguer, José Metalevel algorithms for variant satisfiability. (English) Zbl 1430.68423 J. Log. Algebr. Methods Program. 96, 81-110 (2018). MSC: 68V15 18C10 68Q42 PDFBibTeX XMLCite \textit{S. Skeirik} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 96, 81--110 (2018; Zbl 1430.68423) Full Text: DOI Link
Meseguer, José; Skeirik, Stephen Equational formulas and pattern operations in initial order-sorted algebras. (English) Zbl 1362.68054 Formal Asp. Comput. 29, No. 3, 423-452 (2017). MSC: 68N30 03B70 68N15 68Q45 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{S. Skeirik}, Formal Asp. Comput. 29, No. 3, 423--452 (2017; Zbl 1362.68054) Full Text: DOI
Skeirik, Stephen; Meseguer, José Metalevel algorithms for variant satisfiability. (English) Zbl 1367.68256 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 167-184 (2016). MSC: 68T15 18C10 68Q42 PDFBibTeX XMLCite \textit{S. Skeirik} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 9942, 167--184 (2016; Zbl 1367.68256) Full Text: DOI Link