Skip to content
cs-conference-ranking.org

Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices).

Anupam Das, Damien Pous

VenueBCSL
Year2018
ProceedingsCSL
DBLP recordconf/csl/DasP18 ↗

Browse the full CSL paper archive.