Opening book details…
About this Computer Science article
Bounds on the automata size for Presburger arithmetic by Klaedtke, Felix is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Klaedtke, Felix
- Publisher
- Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 1529-3785)
- Published
- 2008
- Field
- Computer Science (Physical Sciences)