A note on decision procedures for identities (Q1140107)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on decision procedures for identities |
scientific article |
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