Computable Contact Algebras (Q5241409)
From MaRDI portal
scientific article; zbMATH DE number 7124801
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable Contact Algebras |
scientific article; zbMATH DE number 7124801 |
Statements
Computable Contact Algebras (English)
0 references
31 October 2019
0 references
contact algebra
0 references
computable structure
0 references
Boolean algebra
0 references
degree spectrum
0 references
computable dimension
0 references
contact relation
0 references
region-based theory of space
0 references
elementary definability
0 references
hereditary undecidability
0 references
