Dependence Logic vs. Constraint Satisfaction

Lauri Hella, Phokion Kolaitis

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Otsikko25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
    ToimittajatJean-Marc Talbot, Laurent Regnier
    DOI - pysyväislinkit
    TilaJulkaistu - 2016
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
    TapahtumaCSL 2016 -
    Kesto: 1 tammik. 2016 → …

    Julkaisusarja

    NimiLeibniz international proceedings in informatics
    NumeroVol. 62
    ISSN (painettu)1868-8969

    Conference

    ConferenceCSL 2016
    Ajanjakso1/01/16 → …

    Julkaisufoorumi-taso

    • Jufo-taso 1

    Siteeraa tätä