No label defined (Q3360165)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1990
0 references
many-sorted algebras with empty carrier sets
0 references
unsoundness problem
0 references
completeness of the many-sorted extensions of Birkhoff equational calculus
0 references
strong satisfiability
0 references
weak satisfiability
0 references
