Maximal unifiable subsets and minimal non-unifiable subsets
From MaRDI portal
Publication:1075061
DOI10.1007/BF03037439zbMath0591.68083MaRDI QIDQ1075061
Publication date: 1986
Published in: New Generation Computing (Search for Journal in Brave)
DB lookup for MSC labels failed