Undecidable First-Order Theories of Affine Geometries

Antti Kuusisto, Jeremy Meyers, Virtema Jonni

    Research output: Contribution to journalArticleScientificpeer-review

    1 Citation (Scopus)
    Original languageEnglish
    Article number26
    JournalLogical Methods in Computer Science
    Volume9
    Issue number4
    DOIs
    Publication statusPublished - 2013
    Publication typeA1 Journal article-refereed

    Publication forum classification

    • Publication forum level 1

    Cite this