Foldes, S. ; Singhi, N. M. (1980) A non-constructible projective plane Geometriae Dedicata, 9 (4). pp. 497-499. ISSN 0046-5755
Full text not available from this repository.
Official URL: http://www.springerlink.com/content/w043172g33p843...
Related URL: http://dx.doi.org/10.1007/BF00181564
Abstract
There exists a finitely generated projective plane in which the point-line incidence relation is algorithmically undecidable.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Springer. |
| ID Code: | 50429 |
| Deposited On: | 23 Jul 2011 12:04 |
| Last Modified: | 23 Jul 2011 12:04 |
Repository Staff Only: item control page
