Skip to contents Chistikov, Dmitry [Author]; Haase, Christoph [Author] ; Dmitry Chistikov and Christoph Haase [Contributor] On the Power of Ordering in Linear Arithmetic Theories Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Matos, Armando B. An introduction to ultimately periodic sets of integers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1994 Published in: ACM SIGACT News, 25 (1994) 1, Seite 90-96 Lacroix, Anne; Rampersad, Narad; Rigo, Michel; Vandomme, Élise Syntactic Complexity of Ultimately Periodic Sets of Integers and Application to a Decision Procedure Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2012 Published in: Fundamenta Informaticae, 116 (2012) 1-4, Seite 175-187 Rigo, Michel; Vandomme, Élise Language and Automata Theory and Applications: Syntactic Complexity of Ultimately Periodic Sets of Integers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2011 Published in: Language and Automata Theory and Applications (2011), Seite 477-488 BELL, JASON; CHARLIER, EMILIE; FRAENKEL, AVIEZRI S.; RIGO, MICHEL A DECISION PROBLEM FOR ULTIMATELY PERIODIC SETS IN NONSTANDARD NUMERATION SYSTEMS Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. World Scientific Pub Co Pte Lt, 2009 Published in: International Journal of Algebra and Computation, 19 (2009) 6, Seite 809-839
Chistikov, Dmitry [Author]; Haase, Christoph [Author] ; Dmitry Chistikov and Christoph Haase [Contributor] On the Power of Ordering in Linear Arithmetic Theories Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Matos, Armando B. An introduction to ultimately periodic sets of integers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1994 Published in: ACM SIGACT News, 25 (1994) 1, Seite 90-96
Lacroix, Anne; Rampersad, Narad; Rigo, Michel; Vandomme, Élise Syntactic Complexity of Ultimately Periodic Sets of Integers and Application to a Decision Procedure Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IOS Press, 2012 Published in: Fundamenta Informaticae, 116 (2012) 1-4, Seite 175-187
Rigo, Michel; Vandomme, Élise Language and Automata Theory and Applications: Syntactic Complexity of Ultimately Periodic Sets of Integers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2011 Published in: Language and Automata Theory and Applications (2011), Seite 477-488
BELL, JASON; CHARLIER, EMILIE; FRAENKEL, AVIEZRI S.; RIGO, MICHEL A DECISION PROBLEM FOR ULTIMATELY PERIODIC SETS IN NONSTANDARD NUMERATION SYSTEMS Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. World Scientific Pub Co Pte Lt, 2009 Published in: International Journal of Algebra and Computation, 19 (2009) 6, Seite 809-839
> Access State Skip to next facet Open Access (2) Wert ausschließen Without Specification (3) Wert ausschließen Show more show less
> Language Skip to next facet English (3) Wert ausschließen Not determined (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (2) Wert ausschließen Mathmatics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Rigo, Michel (2) Wert ausschließen Vandomme, Élise (2) Wert ausschließen BELL, JASON (1) Wert ausschließen CHARLIER, EMILIE (1) Wert ausschließen Chistikov, Dmitry (1) Wert ausschließen Dmitry Chistikov and Christoph Haase (1) Wert ausschließen FRAENKEL, AVIEZRI S. (1) Wert ausschließen Haase, Christoph (1) Wert ausschließen Lacroix, Anne (1) Wert ausschließen Matos, Armando B. (1) Wert ausschließen RIGO, MICHEL (1) Wert ausschließen Rampersad, Narad (1) Wert ausschließen Show more show less
> Collection Skip to next facet Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen World Scientific Pub Co Pte Lt (CrossRef) (1) Wert ausschließen Show more show less