5 citations · 19 across the 10 of their papers we have counts for
1 paper · 2 filters
Lê Thành Dũng Nguyên
This note presents several results in graph theory inspired by the author's work in the proof theory of linear logic; these results are purely combinatorial and do not involve logi…