Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Quantifier Elimination for Lexicographic Products of Ordered Abelian Groups

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • بيانات النشر:
      Institute of Mathematics, University of Tsukuba
    • الموضوع:
      2009
    • Collection:
      University of Tsukuba Repository (Tulips-R) / 筑波大学つくばリポジトリ
    • نبذة مختصرة :
      journal article
    • File Description:
      application/pdf
    • ISSN:
      0387-4982
    • Relation:
      Tsukuba Journal of Mathematics; 33; 95; 129; AA00874643; https://tsukuba.repo.nii.ac.jp/record/41559/files/tkbjm033-01-95.pdf
    • Rights:
      open access
    • الرقم المعرف:
      edsbas.C782E03B