TY  - JOUR

T1  - Undecidable first-order theories of affine geometries

JO  - Logical Methods in Computer Science

PY  - 2013/12/27

AU  - Kuusisto A

AU  - Meyers J

AU  - Virtema J

ED  - 

DO  - DOI: 10.2168/LMCS-9(4:26)2013

VL  - 9

IS  - 4

Y2  - 2024/12/23

ER  -