Baidu
map

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


Baidu
map
Baidu
map
Baidu
map