F | |
---|---|
[FR74] | Michael J. Fischer et
Michael O. Rabin.
Super-Exponential Complexity of Presburger
Arithmetic.
TR TM-43, MIT Press, février 1974.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
F | |
---|---|
[FR74] | Michael J. Fischer et
Michael O. Rabin.
Super-Exponential Complexity of Presburger
Arithmetic.
TR TM-43, MIT Press, février 1974.
|