Undecidable First-Order Theories of Affine Geometries

Antti Kuusisto, Jeremy Meyers, Virtema Jonni

    Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Artikkeli26
    JulkaisuLogical Methods in Computer Science
    Vuosikerta9
    Numero4
    DOI - pysyväislinkit
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

    Julkaisufoorumi-taso

    • Jufo-taso 1

    Siteeraa tätä