Sciweavers

Share
TOCL
2008

Bounds on the automata size for Presburger arithmetic

9 years 2 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)
books