《重写逻辑及其应用》前言（WRLA 2020论文选编）

IF 0.7 4区数学 Q3 COMPUTER SCIENCE, THEORY & METHODS

Journal of Logical and Algebraic Methods in Programming Pub Date : 2025-04-23 DOI:10.1016/j.jlamp.2025.101061

Santiago Escobar , Narciso Martí-Oliet

引用次数: 0

摘要

本期特刊收集了2020年10月20日至22日在线举办的第13届重写逻辑及其应用国际研讨会（WRLA 2020）上发表的精选论文的修订扩展版本。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Preface to Rewriting Logic and Its Applications (revised selected papers from WRLA 2020)

This special issue collects revised extended versions of selected papers presented at the 13th International Workshop on Rewriting Logic and Its Applications (WRLA 2020) held as an online event from October 20 to 22, 2020.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Logical and Algebraic Methods in Programming COMPUTER SCIENCE, THEORY & METHODS-LOGIC

CiteScore

2.60

自引率

22.20%

发文量

期刊介绍： The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.