Elimination of the non-minimal covering of preserving binary regularly separable relations in partial four-valued logic

From MaRDI portal
Publication:3403115