Explore projects

Bolsonaro project of QARMA non-permanents: deforesting random forest using OMP.

FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers