Characterizing co-NL by a group action

Clément Aubert, Thomas Seiller. Characterizing co-NL by a group action. Mathematical Structures in Computer Science, 26(4):606-638, 2016. [doi]

Abstract

Abstract is missing.