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 - 2025/05/17 ER -