Certified First-Order AC-Unification and Applications

M. Ayala-Rincón; Maribel Fernández; Gabriela Silva; Teimuraz Kutsia; Daniele Nantes-Sobrinho

doi:10.1007/s10817-024-09714-5

Certified First-Order AC-Unification and Applications

M. Ayala-Rincón
, Maribel Fernández
, Gabriela Silva
, Teimuraz Kutsia
, Daniele Nantes-Sobrinho

Research Institute for Symbolic Computation

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

Original language	English
Article number	25
Pages (from-to)	25:1--25:48
Journal	Journal of Automated Reasoning
Volume	68
Issue number	4
DOIs	https://doi.org/10.1007/s10817-024-09714-5
Publication status	Published - Dec 2024

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.1007/s10817-024-09714-5

Cite this

@article{26d2b510cc0643f3ab5841e86aba88df,

title = "Certified First-Order AC-Unification and Applications",

author = "M. Ayala-Rinc{\'o}n and Maribel Fern{\'a}ndez and Gabriela Silva and Teimuraz Kutsia and Daniele Nantes-Sobrinho",

year = "2024",

month = dec,

doi = "10.1007/s10817-024-09714-5",

language = "English",

volume = "68",

pages = "25:1----25:48",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "4",

}

TY - JOUR

T1 - Certified First-Order AC-Unification and Applications

AU - Ayala-Rincón, M.

AU - Fernández, Maribel

AU - Silva, Gabriela

AU - Kutsia, Teimuraz

AU - Nantes-Sobrinho, Daniele

PY - 2024/12

Y1 - 2024/12

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

U2 - 10.1007/s10817-024-09714-5

DO - 10.1007/s10817-024-09714-5

M3 - Article

SN - 0168-7433

VL - 68

SP - 25:1--25:48

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 4

M1 - 25

ER -

Certified First-Order AC-Unification and Applications

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this