Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata.

Filip Mazowiecki, Cristian Riveros

Browse the full CSL paper archive.