CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Deciding whether the ordering is necessary in a Presburger formula

    Author
    Publication venue
    Discrete Mathematics & Theoretical Computer Science
    Publication date
    Field of study
    Get PDF
    Automata, Logic and Semantic
    Directory of Open Access Journals

    Definable Sets in weak Presburger arithmetic

    Author
    Publication venue
    World Scientic
    Publication date
    Field of study
    No full text
    Archivio istituzionale della ricerca - Politecnico di Milano
    corecore