FU Yingying 1,2) SHEN Fuxing 1) WU Maonian 3). NEW PROOF FOR QUANTIFIER ELIMINATION OF COMPLETE DENSE BINARY ORDERS[J]. Journal of Beijing Normal University(Natural Science), 2008, 44(2): 111-114.
|
Citation:
|
FU Yingying 1,2) SHEN Fuxing 1) WU Maonian 3). NEW PROOF FOR QUANTIFIER ELIMINATION OF COMPLETE DENSE BINARY ORDERS[J]. Journal of Beijing Normal University(Natural Science), 2008, 44(2): 111-114.
|
FU Yingying 1,2) SHEN Fuxing 1) WU Maonian 3). NEW PROOF FOR QUANTIFIER ELIMINATION OF COMPLETE DENSE BINARY ORDERS[J]. Journal of Beijing Normal University(Natural Science), 2008, 44(2): 111-114.
|
Citation:
|
FU Yingying 1,2) SHEN Fuxing 1) WU Maonian 3). NEW PROOF FOR QUANTIFIER ELIMINATION OF COMPLETE DENSE BINARY ORDERS[J]. Journal of Beijing Normal University(Natural Science), 2008, 44(2): 111-114.
|
.jpg)
DownLoad: