Schémas d’induction : de la séparation de langages à la coloration de graphes
Théo Pierron
[Bibtex]
N°15, Avril 2020, pages 141-142
DOI:10.48556/SIF.1024.15.141