×

Found 9 Documents (Results 1–9)

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software