A Homological Condition on Equational Unifiability.

DOI10.4230/LIPICS.MFCS.2021.61MaRDI QIDQ6168478zbMATH OpenOpenAlexFDO

Authors Mirai Ikebuchi

Publication date 8 August 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2021/14501/pdf/LIPIcs-MFCS-2021-61.pdf/

zbMATH Keywords

equational theoriesequational unificationhomological algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(1)

• Cohomology of small Cartesian closed categories

This page was built for publication: A Homological Condition on Equational Unifiability.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6168478)