Travelled to:
1 × Latvia
Collaborated with:
∅
Talks about:
presburg (1) polynomi (1) function (1) arithmet (1) generat (1) ration (1) quasi (1)
Person: Kevin Woods
DBLP: Woods:Kevin
Contributed to:
Wrote 1 papers:
- ICALP-v2-2013-Woods #generative
- Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (KW), pp. 410–421.