On the Automata Size for Presburger Arithmetic (2004)

Cached

Download Links

by Felix Klaedtke
Venue:In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004
Citations:10 - 2 self