DOI10.1016/0304-3975(94)90011-6zbMath0798.06012MaRDI QIDQ1322163
Mario Petrich, J. A. Gerhard
Publication date: 5 May 1994 Published in: Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0304-3975(94)90011-6
zbMATH Keywords
unification; free distributive lattice
Mathematics Subject Classification ID
06B25: Free lattices, projective lattices, word problems
06D99: Distributive lattices
Cites Work