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
Meseguer, José Checking sufficient completeness by inductive theorem proving. (English) Zbl 1514.68038 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, 171-190 (2022). MSC: 68N30 68Q42 68V15 PDFBibTeX XMLCite \textit{J. Meseguer}, Lect. Notes Comput. Sci. 13252, 171--190 (2022; Zbl 1514.68038) 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
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
Bertolissi, Clara; Fernández, Maribel A metamodel of access control for distributed environments: applications and properties. (English) Zbl 1360.68206 Inf. Comput. 238, 187-207 (2014). MSC: 68M14 68Q42 68Q55 PDFBibTeX XMLCite \textit{C. Bertolissi} and \textit{M. Fernández}, Inf. Comput. 238, 187--207 (2014; Zbl 1360.68206) Full Text: DOI
Durán, Francisco; Meseguer, José On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. (English) Zbl 1272.03139 J. Log. Algebr. Program. 81, No. 7-8, 816-850 (2012). MSC: 03B70 68N18 68N19 68Q42 68Q60 PDFBibTeX XMLCite \textit{F. Durán} and \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 816--850 (2012; Zbl 1272.03139) Full Text: DOI
Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 721--781 (2012; Zbl 1267.03043) Full Text: DOI
Bouhoula, Adel; Jacquemard, Florent Sufficient completeness verification for conditional and constrained TRS. (English) Zbl 1279.68228 J. Appl. Log. 10, No. 1, 127-143 (2012). MSC: 68Q65 68Q42 PDFBibTeX XMLCite \textit{A. Bouhoula} and \textit{F. Jacquemard}, J. Appl. Log. 10, No. 1, 127--143 (2012; Zbl 1279.68228) Full Text: DOI
Rocha, Camilo; Meseguer, José Constructors, sufficient completeness, and deadlock freedom of rewrite theories. (English) Zbl 1306.68087 Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 594-609 (2010). MSC: 68Q42 03B70 68Q45 68T15 PDFBibTeX XMLCite \textit{C. Rocha} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 6397, 594--609 (2010; Zbl 1306.68087) Full Text: DOI