Skip to Main content Skip to Navigation
Lectures

Rudiments of Presburger Arithmetic

Document type :
Lectures
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03188114
Contributor : Stéphane Demri <>
Submitted on : Thursday, April 1, 2021 - 4:38:44 PM
Last modification on : Saturday, April 10, 2021 - 3:32:03 AM

File

rudiments-30092016.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03188114, version 1

Collections

Citation

Stéphane Demri. Rudiments of Presburger Arithmetic. Master. Paris, France. 2016, pp.44. ⟨hal-03188114⟩

Share

Metrics

Record views

6

Files downloads

1