Undecidable First-Order Theories of Affine Geometries

Antti Kuusisto; Jeremy Meyers; Virtema Jonni

doi:10.4230/LIPIcs.CSL.2012.470

Undecidable First-Order Theories of Affine Geometries

Antti Kuusisto, Jeremy Meyers, Virtema Jonni

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Computer Science Logic 2012, 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12
Editors	Patrick Cégielski, Durand Arnaud
Pages	470-484
DOIs	https://doi.org/10.4230/LIPIcs.CSL.2012.470
Publication status	Published - 2012
Publication type	A4 Article in conference proceedings

Publication series

Name	Annual Conference of the European Association for Computer Science Logic

Publication forum classification

Publication forum level 1

Access to Document

10.4230/LIPIcs.CSL.2012.470

http://drops.dagstuhl.de/opus/volltexte/2012/3691/pdf/37.pdf

Cite this

Kuusisto, A., Meyers, J., & Jonni, V. (2012). Undecidable First-Order Theories of Affine Geometries. In P. Cégielski, & D. Arnaud (Eds.), Computer Science Logic 2012, 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12 (pp. 470-484). (Annual Conference of the European Association for Computer Science Logic). https://doi.org/10.4230/LIPIcs.CSL.2012.470

@inproceedings{7e7c5e18208440ac93782e458b956253,

title = "Undecidable First-Order Theories of Affine Geometries",

author = "Antti Kuusisto and Jeremy Meyers and Virtema Jonni",

year = "2012",

doi = "10.4230/LIPIcs.CSL.2012.470",

language = "English",

isbn = "978-3-939897-42-2",

series = "Annual Conference of the European Association for Computer Science Logic",

pages = "470--484",

editor = "Patrick C{\'e}gielski and Durand Arnaud",

booktitle = "Computer Science Logic 2012, 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12",

}

Undecidable First-Order Theories of Affine Geometries. / Kuusisto, Antti; Meyers, Jeremy; Jonni, Virtema.
Computer Science Logic 2012, 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12. ed. / Patrick Cégielski; Durand Arnaud. 2012. p. 470-484 (Annual Conference of the European Association for Computer Science Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Undecidable First-Order Theories of Affine Geometries

AU - Kuusisto, Antti

AU - Meyers, Jeremy

AU - Jonni, Virtema

PY - 2012

Y1 - 2012

U2 - 10.4230/LIPIcs.CSL.2012.470

DO - 10.4230/LIPIcs.CSL.2012.470

M3 - Conference contribution

SN - 978-3-939897-42-2

T3 - Annual Conference of the European Association for Computer Science Logic

SP - 470

EP - 484

BT - Computer Science Logic 2012, 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12

A2 - Cégielski, Patrick

A2 - Arnaud, Durand

ER -