1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.GN2021★ 1 cited
Statures and Sobrification Ranks of Noetherian Spaces
Jean Goubault-Larrecq, Bastien Laboureix
There is a rich theory of maximal order types of well-partial-orders (wpos), pioneered by de Jongh and Parikh (1977) and Schmidt (1981). Every wpo is Noetherian in its Alexandroff…
cs.FL2021
Keyboards as a new model of computation
Yoan Géran, Bastien Laboureix, Corto Mascle +1
We introduce a new formalisation of languages, called keyboards. We consider a set of elementary operations (writing/erasing a letter, going to the right or to the left,...) and we…