Explore projects

A

Nathan Lhote / Agamemnon
LaTeX Project Public License v1.3c

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

0

Updated May 22, 2023

0 0 0 0

Updated May 22, 2023
B

Amaury Joly / bwconsistency

Consistence Faible Byzantine Pour le Cloud

0

Updated Oct 31, 2023

0 0 0 5

Updated Oct 31, 2023
C

Kevin Perrot / canawww

webpage CANA team, LIS.

0

Updated Dec 04, 2023

0 1

Updated Dec 04, 2023