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
Y

Yao-david Kolegain / YaoDavidK_PhD

0

Updated Dec 20, 2024

0 0 0 0

Updated Dec 20, 2024
B

Amaury Joly / bwconsistency

Consistence Faible Byzantine Pour le Cloud

0

Updated Oct 31, 2023

0 0 0 5

Updated Oct 31, 2023