CORE

🇺🇦   make metadata, not war

    20 research outputs found

    Systems With Parity Quantifiers

    Author
    Publication venue
    'Wiley'
    Publication date
    Field of study
    No full text
    Crossref

    A spectrum hierarchy

    Author
    Publication venue
    'Wiley'
    Publication date
    Field of study
    No full text
    Crossref

    Some remarks concerning theories with recursively enumerable complements

    Author
    Publication venue
    'JSTOR'
    Publication date
    Field of study
    No full text
    Crossref

    How to decide continuity of rational functions on infinite words

    Author
    Publication venue
    'Elsevier BV'
    Publication date
    Field of study
    No full text
    Crossref

    Semi-conservative reduction

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    No full text
    Crossref

    Completely Autoreducible Degrees

    Author
    Publication venue
    'Wiley'
    Publication date
    Field of study
    No full text
    Crossref

    A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain

    Author
    Publication venue
    'Wiley'
    Publication date
    Field of study
    No full text
    Crossref

    On finite monoids having only trivial subgroups

    Author
    Publication venue
    'Elsevier BV'
    Publication date
    Field of study
    No full text
    Crossref

    Mitotic recursively enumerable sets

    Author
    Publication venue
    'JSTOR'
    Publication date
    Field of study
    No full text
    Crossref

    ON SAFETY, DOMAIN INDEPENDENCE, AND CAPTURABILITY OF DATABASE QUERIES* (Preliminary Report)*Research sponsored in part by the NSF grant DCR-8603676.

    Author
    Publication venue
    'Elsevier BV'
    Publication date
    Field of study
    No full text
    Crossref
    corecore