Vectorization hierarchies of some graph quantifiers

Lauri Hella, Juha Nurmonen

    Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

    1 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Sivut183-207
    JulkaisuArchive for Mathematical Logic
    Vuosikerta39
    Numero3
    TilaJulkaistu - 2000
    OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

    Tutkimusalat

    • ehrenfeucht-fraisse games
    • finite model theory
    • generalized quantifiers

    Siteeraa tätä