CHEN Lei 1) SHEN Fuxing 2). THE QUANTIFIER ELIMINATION OF DENSE BINARY ORDERS THEORY (Ⅰ)[J]. Journal of Beijing Normal University(Natural Science), 2008, 44(6): 568-572.
Citation: CHEN Lei 1) SHEN Fuxing 2). THE QUANTIFIER ELIMINATION OF DENSE BINARY ORDERS THEORY (Ⅰ)[J]. Journal of Beijing Normal University(Natural Science), 2008, 44(6): 568-572.
shu

THE QUANTIFIER ELIMINATION OF DENSE BINARY ORDERS THEORY (Ⅰ)

    Graphical Abstract
    • Abstract
    • FullText(HTML)
  • loading
    • References (1)
    • Related Articles

Catalog

    Turn off MathJax
    Article Contents

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return
    Baidu
    map