cs-conference-ranking.org Search 971 venues

A new correctness criterion for MLL proof nets.

VenueBCSL

Year2014

ProceedingsCSL-LICS

DBLP recordconf/csl/Ehrhard14 ↗

Browse the full CSL paper archive.