De Morgan和Kleene代数中的统一性和射影性
Unification and Projectivity in De Morgan and Kleene Algebras
摘要：
我们提供了一个完整的分类可解的情况下，方程的统一问题在德摩根和Kleene代数的统一类型。关键工具是一个组合的特征，生成的射影德摩根和Kleene代数。
英文摘要：
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
