Switch to: References

Add citations

You must login to add citations.
  1. Parametric Presburger arithmetic: complexity of counting and quantifier elimination.Tristram Bogart, John Goodrick, Danny Nguyen & Kevin Woods - 2019 - Mathematical Logic Quarterly 65 (2):237-250.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark