Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
De Marie Kerjean
Creative telescoping for D-finite functions - Lecture 1
De Christoph Koutschan
Apparaît dans la collection : Frontiers of reconnaissability / Frontières de la reconnaissabilité
In order to be interesting, algebras of finite graphs must have countable sets of operations. We adapt accordingly the notion of recognizability, defined usually for finitely generated algebras. We prove the recognizability theorem, saying that monadic second-order definable sets of graphs are recognizable, by means of infinite "fly-automata". These automata can be implemented and used for obtaining FPT algorithms with respect to clique-width or tree-width as parameter. The implementation issues will be exposed by I. Durand.