scientific article; zbMATH DE number 4173045

MaRDI QIDQ3197883zbMATH OpenFDO

Authors

Publication date 1990

zbMATH Keywords

classification of BCK-algebras of order ncomputational method

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to ordered structures (06-04) BCK-algebras, BCI-algebras (06F35) Symbolic computation and algebraic computation (68W30)

Cited in

(1)

• scientific article; zbMATH DE number 2123388 (Why is no real title available?)

This page was built for publication:

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