Idempotent Anti-unification

Cerna, D; Kutsia, T

Cerna, D (corresponding author), Johannes Kepler Univ Linz, RISC, Linz, Austria.; Cerna, D (corresponding author), RISC, Altenbergerstr 69, A-4040 Linz, Austria.

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020; 21 (2):

Abstract

In this article, we address two problems related to idempotent anti-unification. First, we show that there exists an anti-unification problem with a s......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索