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