The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete (Q6373413)
From MaRDI portal
scientific article; zbMATH DE number 900486441
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete |
scientific article; zbMATH DE number 900486441 |
Statements
21 July 2021
0 references
math.LO
0 references
