The word problem for a class K of L algebras is concerned with determining, for any presentation Π,. which ground equations w ≈ w follow from Th(K), ...
確定! 回上一頁