No label defined (Q4608581)
From MaRDI portal
scientific article; zbMATH DE number 6851855
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 6851855 |
Statements
21 March 2018
0 references
nominal sets
0 references
Kleene algebra
0 references
equational theory
0 references
Coq
0 references
