For more information about this meeting, contact Stephen Simpson, Jan Reimann.
| Title: | Presburger arithmetic, rational generating functions, and quasi-polynomials |
|---|
| Seminar: | Logic Seminar |
|---|
| Speaker: | Antonio Bonelli, University of Basilicata, Potenza, Italy |
|---|
| Abstract: |
|---|
| A Presburger formula is a predicate calculus formula with variables ranging over N, the set of natural numbers, that can be written using +, <, Boolean operations (and, or, not), and quantifiers (for all, there exists). We characterize the subsets of N^d that can be defined by a Presburger formula as exactly the sets that can be represented by a rational generating function. A geometric characterization of such sets is also given. These characterizations are from a recent paper by Kevin Woods. |
Room Reservation Information
| Room Number: | MB315 |
|---|
| Date: | 09 / 24 / 2013 |
|---|
| Time: | 02:30pm - 03:45pm |
|---|
