DocumentCode :
2178411
Title :
Precise bounds for presburger arithmetic and the reals with addition: Preliminary report
Author :
Berman, Leonard
fYear :
1977
fDate :
Oct. 31 1977-Nov. 2 1977
Firstpage :
95
Lastpage :
99
Keywords :
Arithmetic; Measurement standards; Polynomials; Q measurement; Samarium; Time measurement; Upper bound;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Foundations of Computer Science, 1977., 18th Annual Symposium on
Conference_Location :
Providence, RI, USA
ISSN :
0272-5428
Type :
conf
DOI :
10.1109/SFCS.1977.23
Filename :
4567930
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2178411
