TY  - JOUR

T1  - Undecidable First-Order Theories of Affine Geometries

JO  - Logical Methods in Computer Science

UR  - https://doi.org/10.2168/lmcs-9(4:26)2013

PY  - 2013/12/30

AU  - Kuusisto A

AU  - Meyers J

AU  - Virtema J

ED  - 

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

PB  - Centre pour la Communication Scientifique Directe (CCSD)

VL  - Volume 9, Issue 4

Y2  - 2026/01/07

ER  -