Skip to content

Non-elementary complexities for branching VASS, MELL, and extensions.

Ranko Lazic, Sylvain Schmitz

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.