A note on decision procedures for identities (Q1140107)
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: A note on decision procedures for identities |
scientific article; zbMATH DE number 3677919
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on decision procedures for identities |
scientific article; zbMATH DE number 3677919 |
Statements
A note on decision procedures for identities (English)
0 references
1979
0 references
decision procedure
0 references
identity
0 references
finite operator
0 references
complete operator
0 references
