Idempotent Anti-unification

David Cerna; Teimuraz Kutsia

doi:10.1145/3359060

Idempotent Anti-unification

David Cerna
, Teimuraz Kutsia

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	10
Pages (from-to)	10:1-10:32
Number of pages	32
Journal	ACM Transactions on Computational Logics
Volume	21
Issue number	2
DOIs	https://doi.org/10.1145/3359060
Publication status	Published - Oct 2019

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

JKU Focus areas

Digital Transformation

Access to Document

10.1145/3359060

Cite this

@article{b309db40f328436781d9578d4a58410c,

title = "Idempotent Anti-unification",

author = "David Cerna and Teimuraz Kutsia",

year = "2019",

month = oct,

doi = "10.1145/3359060",

language = "English",

volume = "21",

pages = "10:1--10:32",

journal = "ACM Transactions on Computational Logics",

issn = "1529-3785",

publisher = "ACM Press",

number = "2",

}

TY - JOUR

T1 - Idempotent Anti-unification

AU - Cerna, David

AU - Kutsia, Teimuraz

PY - 2019/10

Y1 - 2019/10

UR - https://www.scopus.com/pages/publications/85074886023

U2 - 10.1145/3359060

DO - 10.1145/3359060

M3 - Article

SN - 1529-3785

VL - 21

SP - 10:1-10:32

JO - ACM Transactions on Computational Logics

JF - ACM Transactions on Computational Logics

IS - 2

M1 - 10

ER -

Idempotent Anti-unification

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this