Computer Solutions of Problems in Inverse Semigroups (Q3562322)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer Solutions of Problems in Inverse Semigroups |
scientific article |
Statements
Computer Solutions of Problems in Inverse Semigroups (English)
0 references
21 May 2010
0 references
inverse semigroups
0 references
bigroupoids
0 references
automated reasoning
0 references
equational logic
0 references
axiomatization
0 references
