Factor Varieties and Symbolic Computation (Q4635937)
From MaRDI portal
scientific article; zbMATH DE number 6863544
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Factor Varieties and Symbolic Computation |
scientific article; zbMATH DE number 6863544 |
Statements
Factor Varieties and Symbolic Computation (English)
0 references
23 April 2018
0 references
discriminator variety
0 references
equational logic
0 references
factor circuit
0 references
factor variety
0 references
multi-valued logic
0 references
universal algebra
0 references
