The complexity of presburger arithmetic
✍
Martin Fürer
📂
Article
📅
1982
🏛
Elsevier Science
🌐
English
⚖ 683 KB