SIF 1024-numero1

Schémas d’induction : de la séparation de langages à la coloration de graphes

Théo Pierron

[Bibtex]
CC BY-ND
1024_logo
N°15, Avril 2020, pages 141-142
DOI:10.48556/SIF.1024.15.141