Skip to main navigation Skip to search Skip to main content

Counting modulo quantifiers on finite linearly ordered trees

  • Juha Nurmonen

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationUnknown
    Pages484-493
    Publication statusPublished - 1996
    Publication typeA4 Article in conference proceedings

    Publication series

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

    Cite this