Discover projects, groups and snippets. Share your projects with others
webpage CANA team, LIS.
FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers