Sciweavers

TOCL
2008

Bounds on the automata size for Presburger arithmetic

13 years 10 months ago
Bounds on the automata size for Presburger arithmetic
Felix Klaedtke
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TOCL
Authors Felix Klaedtke
Comments (0)