Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bernard Boigelot
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Counting the Solutions of Presburger Equations Without Enumerating Them
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
