Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

Counting modulo quantifiers on finite linearly ordered trees

  • Juha Nurmonen

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    3 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoUnknown
    Sivut484-493
    TilaJulkaistu - 1996
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

    Julkaisusarja

    NimiProceedings of the 11th IEEE Symposium on Logic in Computer Science

    Siteeraa tätä