First Page | Document Content | |
---|---|---|
Date: 2014-03-17 06:03:51Mathematics 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 versionAdd to Reading ListSource URL: www.labri.frDownload Document from Source WebsiteFile Size: 920,98 KBShare Document on Facebook |