Showing 1 - 2 results of 2 for search '"presburger arithmetics"', query time: 0.22s Refine Results
  1. 1
    Deciding whether the ordering is necessary in a Presburger formula

    Deciding whether the ordering is necessary in a Presburger formula by Christian Choffrut, Achille Frigeri

    Published 2010-01-01
    Subjects: “…presburger arithmetics…”
    Get full text
    Article
  2. 2
    The unreasonable ubiquitousness of quasi-polynomials

    The unreasonable ubiquitousness of quasi-polynomials by Kevin Woods

    Published 2013-01-01
    Subjects:
    Get full text
    Article

Search Tools: