Explore projects
-
FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers
Updated -
Updated
-
Bolsonaro project of QARMA non-permanents: deforesting random forest using OMP.
Updated
FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers
Bolsonaro project of QARMA non-permanents: deforesting random forest using OMP.