TY  - CONF

T1  - Undecidable first-order theories of affine geometries

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2012/01/01

AU  - Kuusisto A

AU  - Meyers J

AU  - Virtema J

ED  - 

DO  - DOI: 10.4230/LIPIcs.CSL.2012.470

SN  - 9783939897422

VL  - 16

SP  - 470

EP  - 484

Y2  - 2024/12/22

ER  -