cs-conference-ranking.org Search 971 venues

Proof Nets for PiL.

Matteo Acclavio, Giulia Manara

Year2026

ProceedingsIJCAR (2)

DBLP recordconf/ijcar/AcclavioM26 ↗

Browse the full IJCAR paper archive.