Nominal Algebra and the HSP Theorem (Q3623222)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nominal Algebra and the HSP Theorem |
scientific article |
Statements
Nominal Algebra and the HSP Theorem (English)
0 references
16 April 2009
0 references
universal algebra
0 references
equational logic
0 references
nominal algebra
0 references
HSP or Birkhoff's theorem
0 references
nominal sets
0 references
nominal terms
0 references
