notesum.ai

Published at November 21

Union of Finitely Generated Congruences on Ground Term Algebra

cs.SC
cs.LO

Released Date: November 21, 2024

Authors: Sándor Vágvölgyi1

Aff.: 1Department of Foundations of Computer Science, University of Szeged, Árpád tér 2, Szeged, H-6720, Hungary

Arxiv: http://arxiv.org/abs/2411.14559v1