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

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Computer Science Logic 2012, 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12
Toimittajat	Patrick Cégielski, Durand Arnaud
Sivut	470-484
DOI - pysyväislinkit	https://doi.org/10.4230/LIPIcs.CSL.2012.470
Tila	Julkaistu - 2012
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisusarja

Nimi	Annual Conference of the European Association for Computer Science Logic

Julkaisufoorumi-taso

Jufo-taso 1

Pääsy asiakirjaan

10.4230/LIPIcs.CSL.2012.470

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

Siteeraa tätä

Kuusisto, A., Meyers, J., & Jonni, V. (2012). Undecidable First-Order Theories of Affine Geometries. teoksessa P. Cégielski, & D. Arnaud (Toimittajat), Computer Science Logic 2012, 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12 (Sivut 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",

}

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

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. toim. / Patrick Cégielski; Durand Arnaud. 2012. s. 470-484 (Annual Conference of the European Association for Computer Science Logic).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 -