Undecidable relativizations of algebras of relations (Q4262581)
From MaRDI portal
scientific article; zbMATH DE number 1335204
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidable relativizations of algebras of relations |
scientific article; zbMATH DE number 1335204 |
Statements
Undecidable relativizations of algebras of relations (English)
0 references
25 April 2000
0 references
coordinatewise counting operations
0 references
tiling problem
0 references
equational theory
0 references
cylindric-relativized set algebras
0 references
relativized representable relation algebras
0 references
