Undecidable first-order theories of affine geometries

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Antti Kuusisto
    Aikajakso3 syysk. 2012
    Tapahtuman otsikkoThe 21st EACSL Annual Conferences on Computer Science Logic
    Tapahtuman tyyppiOther
    Tunnustuksen arvoInternational