Deterministic and non-deterministic hypersubstitutions for algebraic systems. (Q2805958)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Deterministic and non-deterministic hypersubstitutions for algebraic systems. |
scientific article; zbMATH DE number 6580487
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deterministic and non-deterministic hypersubstitutions for algebraic systems. |
scientific article; zbMATH DE number 6580487 |
Statements
13 May 2016
0 references
algebraic systems
0 references
terms
0 references
quantifier free formulae
0 references
deterministic hypersubstitutions
0 references
non-deterministic hypersubstitutions
0 references
Deterministic and non-deterministic hypersubstitutions for algebraic systems. (English)
0 references
