English Alan Cobham (mathematician) Cited by user David Eppstein on 05 Jul 2021 Alan Belmont Cobham (4 November 192728 June 2011) was an American mathematician and computer scientist known for (with Jack Edmonds) inventing the notion of polynomial…
French Suite automatique Cited by user ManiacParisien on 12 Jun 2017 En mathématique, en combinatoire des mots et en théorie des automates, une suite automatique (ou suite
Portuguese Aritmética de Büchi Cited by user Otávio Vera Cruz on 15 Jul 2016 Aritmética de Büchi de base k é a teoria de primeira ordem dos números naturais com adição e a função
English Presburger arithmetic Cited by user Arthur MILCHIOR on 01 Jun 2016 Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who introduced it in 1929.
English Büchi arithmetic Cited by user Deltahedron on 24 Aug 2014 Büchi arithmetic of base k is the first-order theory of the natural numbers with addition and the function which is defined as the largest power of k dividing x, named…
English Automatic sequence Cited by user Deltahedron on 24 Aug 2014 An automatic sequence (or k-automatic sequence) is an infinite sequence of terms characterized by a finite automaton.