The Expressive Power of k-ary Exclusion Logic

    Tutkimustuotos: Conference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoLogic, Language, Information and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
    ToimittajatRuy de Queiroz
    KustantajaSpringer
    Sivut375-391
    ISBN (painettu)978-3-662-52920-1
    DOI - pysyväislinkit
    TilaJulkaistu - 2016
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
    TapahtumaWorkshop on Logic, Language, Information and Computation (WoLLIC) -
    Kesto: 1 tammikuuta 2016 → …

    Julkaisusarja

    NimiLecture Notes in Computer Science
    Numero9803
    ISSN (painettu)0302-9743

    Conference

    ConferenceWorkshop on Logic, Language, Information and Computation (WoLLIC)
    Ajanjakso1/01/16 → …

    Tutkimusalat

    • Exclusion logic
    • dependence logic
    • existential second order logic
    • expressive power
    • team semantics

    Julkaisufoorumi-taso

    • Jufo-taso 1

    Siteeraa tätä