10 citations · 36 across the 15 of their papers we have counts for
Showing cs.DMShow all
2 papers · 1 filter
cs.DM2019
On long words avoiding Zimin patterns
Arnaud Carayol, Stefan Göller
A pattern is encountered in a word if some infix of the word is the image of the pattern under some non-erasing morphism. A pattern is unavoidable if, over every finite alphabe…
cs.DM2015
An analysis of the equational properties of the well-founded fixed point
Arnaud Carayol, Zoltan Esik
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an importan…