Explore projects

a graph generator

Scripts et documents computationnels produits lors de la thèse de doctorat de Lisa Richelmi (2026).

Terms, Rewriting, Automata, Graphs