Back to Results
First PageMeta Content
Mathematics / Algebra / Mathematical logic / Logic in computer science / Model theory / Proof theory / Presburger arithmetic / Time complexity / Generalized arithmetic progression / Polynomial / Vector space / Lattice


J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version
Add to Reading List

Document Date: 2014-03-17 06:03:51

Open Document

File Size: 920,98 KB

Share Result on Facebook
UPDATE